模块 Sys.Immediate64

module Immediate64: sig .. end

---

该模块允许定义一个带有 immediate64 属性的类型 t。此属性意味着该类型在 64 位架构上是直接的。在其他架构上，它可能也可能是直接的，也可能不是。

module type Non_immediate = sig .. end

module type Immediate = sig .. end

module Make: 
functor (Immediate : Immediate) -> 
functor (Non_immediate : Non_immediate) -> sig .. end