module LUVar: sig .. end
sig
end
module type S = sig .. end
module Make: functor (LU : LowerUpper.S) -> functor (Var : GenVars.VAR with type img = LU.t) -> S with type elm = LU.elm and type obs = Var.obs and type img = LU.t
functor (
LU
:
LowerUpper.S
) ->
Var
GenVars.VAR
with type img = LU.t
S
with type elm = LU.elm and type obs = Var.obs and type img = LU.t