Functor Use.Make (.ml)

module Make: 
functor (X : Sig.X) -> sig .. end

type t 

val empty : t

val find : X.r -> t -> Use.elt

val add : X.r -> Use.elt -> t -> t

val mem : X.r -> t -> bool

val print : t -> unit

val up_add : t -> Use.ST.elt -> X.r -> X.r list -> t

val congr_add : t -> X.r list -> Use.ST.t

val up_close_up : t -> X.r -> X.r -> t

val congr_close_up : t -> X.r -> X.r list -> Use.elt