type ('a, 'b) t
val create : Core_kernel__.Import.unit -> (_, _) tval set_key : ('a, _) t -> 'a Core_kernel.Heap_block.t Core_kernel__.Import.option -> Core_kernel__.Import.unitval get_key : ('a, _) t -> 'a Core_kernel.Heap_block.t Core_kernel__.Import.optionval set_data : (_, 'b) t -> 'b Core_kernel.Heap_block.t Core_kernel__.Import.option -> Core_kernel__.Import.unitval get_data : (_, 'b) t -> 'b Core_kernel.Heap_block.t Core_kernel__.Import.optionval is_key_some : (_, _) t -> Core_kernel__.Import.boolval is_key_none : (_, _) t -> Core_kernel__.Import.boolval is_data_some : (_, _) t -> Core_kernel__.Import.boolval is_data_none : (_, _) t -> Core_kernel__.Import.bool