A non-allocating alternative to the standard Option type.
module type S_without_immediate : sig ... end
module type S : sig ... end
module type S_int63 = S_without_immediate
module type Immediate_option : sig ... end