Module Core.Immediate_option

Always immediate.

module type S_plain = Immediate_option_intf.S_plain
module type S_plain_zero_alloc = Immediate_option_intf.S_plain_zero_alloc
module type S = Immediate_option_intf.S
module type S_zero_alloc = Immediate_option_intf.S_zero_alloc

Immediate only on 64-bit machines.

module type S_int63_plain = Immediate_option_intf.S_int63_plain
module type S_int63 = Immediate_option_intf.S_int63
module type S_int63_zero_alloc = Immediate_option_intf.S_int63_zero_alloc
module type S_unboxed_float64 = Immediate_option_intf.S_unboxed_float64

Unboxed types

Never immediate.

module type S_without_immediate_plain = Immediate_option_intf.S_without_immediate_plain
module type S_without_immediate_plain_zero_alloc = Immediate_option_intf.S_without_immediate_plain_zero_alloc
module type S_without_immediate = Immediate_option_intf.S_without_immediate
module type S_without_immediate_zero_alloc = Immediate_option_intf.S_without_immediate_zero_alloc