module Env: sig .. end
sig
end
module type S = Env_intf.S
Env_intf.S
type 'a packed = (module Env.S with type C.t = 'a)
'a
(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.tend) -> sig .. end
functor (
X
:
module Ctx: Ctx.S
Ctx.S
val params : Params.t
Params.t
val flex_state : Logtk.Flex_state.t
Logtk.Flex_state.t
) ->