Module Inf.GEnv


module GEnv: sig .. end

val string_of : unit -> string
val reset : unit -> unit