模組 Sys.Immediate64

module Immediate64: sig .. end

此模組允許定義一個帶有 immediate64 屬性的型別 t。這個屬性表示該型別在 64 位元架構上是立即的(immediate)。在其他架構上,它可能是立即的,也可能不是。

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