module PMAP: functor (
X
:
Graph.Sig.COMPARABLE
) ->
sig
.. end
module M: FCMap.Make
(
X
)
type 'a
t = 'a M.t Pervasives.ref
type
key = X.t
type 'a
return = unit
val empty : unit
val create : ?size:'a -> unit -> 'b M.t Pervasives.ref
val create_from : 'a -> 'b M.t Pervasives.ref
val is_empty : 'a M.t Pervasives.ref -> bool
val clear : 'a M.t Pervasives.ref -> unit
val add : M.key ->
'a ->
'a M.t Pervasives.ref -> 'a M.t Pervasives.ref
val remove : M.key ->
'a M.t Pervasives.ref -> 'a M.t Pervasives.ref
val find : M.key -> 'a M.t Pervasives.ref -> 'a
val mem : M.key -> 'a M.t Pervasives.ref -> bool
val find_and_raise : M.key -> 'a M.t Pervasives.ref -> string -> 'a
val fold : (M.key -> 'a -> 'b -> 'b) ->
'a M.t Pervasives.ref -> 'b -> 'b
val map : (M.key -> 'a -> M.key * 'b) ->
'a M.t Pervasives.ref -> 'b M.t Pervasives.ref
val iter : (M.key -> 'a -> unit) ->
'a M.t Pervasives.ref -> unit
val copy : 'a Pervasives.ref -> 'a Pervasives.ref