Модуль Sys.Immediate64

module Immediate64: sig .. end

Этот модуль позволяет определить тип t с атрибутом immediate64. Этот атрибут означает, что тип является непосредственным на 64-битных архитектурах. На других архитектурах он может быть или не быть непосредственным.

module type Non_immediate = sig .. end

module type Immediate = sig .. end

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