module Make: functor (X : sig module Ctx: Ctx.S val params : Params.t val flex_state : Logtk.Flex_state.tend) -> sig .. end
functor (
X
:
sig
module Ctx: Ctx.S
Ctx.S
val params : Params.t
Params.t
val flex_state : Logtk.Flex_state.t
Logtk.Flex_state.t
end
) ->
sig module Ctx : Ctx.S val params : Params.t val flex_state : Flex_state.t end
include Env.S