Functor Env.Make

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


Parameters:
X : sig module Ctx : Ctx.S val params : Params.t val flex_state : Flex_state.t end

include Env.S