Module Env

module Env: sig .. end

Global environment for an instance of the prover



module type S = Env_intf.S
Signature
type 'a packed = (module Env.S with type C.t = 'a) 
module Make: 
functor (X : sig
module Ctx: Ctx.S 
val params : Params.t
val flex_state : Logtk.Flex_state.t
end) -> sig .. end
Build a new Environment