Module Make.EnvSource

Sourcetype t
Sourceval create : unit -> t
Sourceval copy : t -> t
Sourceval clear : t -> unit
Sourceval used : t -> string -> bool
Sourceval fresh : t -> sanitizer:('a -> string) -> ?suggest:bool -> 'a -> string
Sourceval define : t -> string -> T.term -> unit
Sourceval unfold : t -> T.term -> unit
Sourceval shared : t -> T.term -> bool
Sourceval shareable : t -> T.term -> bool
Sourceval set_indexed_vars : t -> unit
Sourceval iter : (string -> T.term -> unit) -> t -> unit