module Immediate64: sig .. end
sig
end
此模組允許定義一個帶有 immediate64 屬性的型別 t。這個屬性表示該型別在 64 位元架構上是立即的(immediate)。在其他架構上,它可能是立即的,也可能不是。
immediate64
t
module type Non_immediate = sig .. end
module type Immediate = sig .. end
module Make: functor (Immediate : Immediate) -> functor (Non_immediate : Non_immediate) -> sig .. end
functor (
Immediate
:
) ->
Non_immediate