package dolmen_loop

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type key = int

type t

val empty : t

val get : inj:'a Dolmen_std__Hmap.injection -> key -> t -> 'a option

val add : inj:'a Dolmen_std__Hmap.injection -> key -> 'a -> t -> t

val update : 
  inj:'a Dolmen_std__Hmap.injection ->
  key ->
  ('a option -> 'a option) ->
  t ->
  t

val find : inj:'a Dolmen_std__Hmap.injection -> key -> t -> 'a

val cardinal : t -> int

val remove : key -> t -> t

val mem : inj:'a Dolmen_std__Hmap.injection -> key -> t -> bool

val iter_keys : f:(key -> unit) -> t -> unit

val fold_keys : f:('a -> key -> 'a) -> x:'a -> t -> 'a

type !'a iter = ('a -> unit) -> unit

val keys_iter : t -> key iter

val bindings_of : inj:'a Dolmen_std__Hmap.injection -> t -> (key * 'a) iter

type value

val bindings : t -> (key * value) iter