dolmen

A parser library for automated deduction
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library dolmen.std
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.

  • raises 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.