= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
package dolmen
-
dolmen
-
dolmen.intf
-
-
dolmen.line
-
dolmen.smtlib2
-
dolmen.std
-
-
dolmen.tptp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include Dolmen_intf.Map.S with type key := string
val empty : _ t
val find_exn : string -> 'a t -> 'a
Exception-raising find function.
- raises Not_found
val find_opt : string -> 'a t -> 'a option
Option-returning find function.
Add a new binding, shadowing any earlier bdingin to the same 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.