ImmediateImmediate versions of standard datatypes.
include module type of struct include Immediate_kernel endmodule type Option = Immediate_kernel.Optionmodule type Option_zero_alloc = Immediate_kernel.Option_zero_allocmodule type Option_int63 = Immediate_kernel.Option_int63module type S_no_option = Immediate_kernel.S_no_optionmodule Char = Immediate_kernel.Charmodule Bool = Immediate_kernel.Boolmodule Int = Immediate_kernel.Intmodule Of_intable = Immediate_kernel.Of_intableA functor to build an immediate Option submodule based on Intable conversions.
module Immediate_kernel_stable = Immediate_kernel.Immediate_kernel_stablemodule type Intern_table = sig ... endmodule type String_no_option = sig ... endmodule type String_no_option_not_zero_alloc = sig ... endmodule type String_option = sig ... endmodule type String = sig ... endmodule Interned_string : sig ... endThere is no facility to un-intern an Interned_string. They are remembered forever.
module Short_string : sig ... endImmediate_short_string represents strings of length 0-7 stored as an integer.
module String : sig ... endmodule Stringable : sig ... endmodule Identifiable : sig ... endmodule Immediate_stable : sig ... end