module Make: functor (E : Env.S) -> S with module Env = E
functor (
E
:
Env.S
) ->
S
with module Env = E
module Env: Env.S
module C: module type of Env.C
module type of Env.C
val setup : unit -> unit
unit -> unit