= 768" x-on:close-sidebar="sidebar=window.innerWidth >= 768 && 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
val empty : _ t
val find_exn : int -> 'a t -> 'a
Exception-raising find function.
- raises Not_found
val find_opt : int -> 'a t -> 'a option
Option-returning find function.
Add a new binding, shadowing any earlier bdingin to the same key.
val iter : (int -> 'a -> unit) -> 'a t -> unit
Iter on the map.
val fold : (int -> 'a -> 'acc -> 'acc) -> 'a t -> 'acc -> 'acc
Fold on the map.