Module Coll.ListMap

type ('a, 'b) init_t = unit
type (!'a, !'b) t = ('a * 'b) list
val mk : ('a, 'b) init_t -> ('a, 'b) t
val map : ('a, 'b) t -> 'a -> 'b
val dom : ('a, 'b) t -> 'a list
val rng : ('a, 'b) t -> 'b list
val in_dom : ('a, 'b) t -> 'a -> bool
val in_rng : ('a, 'b) t -> 'b -> bool
val inv : ('a, 'b) t -> 'b -> 'a list
val add : ('a, 'b) t -> ('a * 'b) -> ('a, 'b) t
val rmv : ('a, 'b) t -> 'a -> ('a, 'b) t
val remap : ('a, 'b) t -> 'a -> 'b -> ('a, 'b) t
val app : ('a -> 'c -> unit) -> ('a, 'c) t -> unit
val fold : ('a -> ('b * 'c) -> 'a) -> 'a -> ('b, 'c) t -> 'a
val try_find : (('a * 'b) -> 'c) -> ('a, 'b) t -> 'c
val filter : (('a * 'b) -> bool) -> ('a, 'b) t -> ('a, 'b) t
val toList : ('a, 'b) t -> ('a * 'b) list
val ofList : ('a, 'b) init_t -> ('a * 'b) list -> ('a, 'b) t
val for_all : ('a -> 'b -> bool) -> ('a, 'b) t -> bool
val exists : ('a -> 'b -> bool) -> ('a, 'b) t -> bool
val size : ('a, 'b) t -> int
val empty : ('a, 'b) t -> bool
val clear : ('a, 'b) t -> ('a, 'b) t