Module Sys.Immediate64

This module allows to define a type t with the immediate64 attribute. This attribute means that the type is immediate on 64 bit architectures. On other architectures, it might or might not be immediate.

module type Non_immediate = { ... };
module type Immediate = { ... };
module Make: (Immediate: Immediate) => (Non_immediate: Non_immediate) => { ... };