Functor Cil2cfg.PMAP

module PMAP: 
functor (X : Graph.Sig.COMPARABLE) -> sig .. end
Parameters:
X : Graph.Sig.COMPARABLE

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