dolmen.std
Dolmen_std.Maps_string
dolmen
dolmen.ae
dolmen.class
dolmen.dimacs
dolmen.icnf
dolmen.intf
dolmen.line
dolmen.smtlib2
dolmen.tptp
dolmen.zf
dolmen_smtlib2_poly
dolmen_smtlib2_v6
dolmen_smtlib2_v6_response
dolmen_smtlib2_v6_script
dolmen_tptp_v6_3_0
include Dolmen_intf.Map.S with type key := string
type 'a t
val empty : _ t
val find_exn : string -> 'a t -> 'a
Exception-raising find function.
Not_found
val find_opt : string -> 'a t -> 'a option
Option-returning find function.
val add : string -> 'a -> 'a t -> 'a t
Add a new binding, shadowing any earlier bdingin to the same key.
val find_add : string -> ('a option -> 'a) -> 'a t -> 'a t
Update the value bound to a key.
val iter : (string -> 'a -> unit) -> 'a t -> unit
Iter on the map.
val fold : (string -> 'a -> 'acc -> 'acc) -> 'a t -> 'acc -> 'acc
Fold on the map.