Module type PersistentTable.MAKER

Parameters

module O : Stdlib.Map.OrderedType

Signature

type key = O.t
type 'a t
val empty : 'a t
val size : 'a t -> int
val get : key -> 'a t -> 'a
val get_opt : key -> 'a t -> 'a option
val set : key -> 'a -> 'a t -> 'a t
val mem : key -> 'a t -> bool
val remove : key -> 'a t -> 'a t
val set_opt : key -> 'a option -> 'a t -> 'a t
val find : key -> 'a t -> 'a option
val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val merge : 'a t -> 'a t -> 'a t

entries from the first argument overwrite the ones from the second.

val to_list : 'a t -> (key * 'a) list
val to_list_keys : 'a t -> key list
val to_list_values : 'a t -> 'a list