Module type `Prime_accretion_map.S`

Signature for an accretion map with monomorphic elements. See S1 for documentation.

type key
type elt
type result
type t

val empty : t
val singleton : key -> elt -> t
val is_empty : t -> bool
val cardinal : t -> int
val result : t -> result
val app : t -> key -> elt option
val find : key -> t -> elt
val add : key -> elt -> t -> t
val remove : key -> t -> t
val bindings : t -> (key * elt) list
val fold : (key -> elt -> 'a -> 'a) -> t -> 'a -> 'a
val iter : (key -> elt -> unit) -> t -> unit
val search : (key -> elt -> 'a option) -> t -> 'a option
val for_all : (key -> elt -> bool) -> t -> bool
val exists : (key -> elt -> bool) -> t -> bool