Module Module_type_subst.Basic
module
type
u
= sig ...
end
module
type
with_
= u
with
module
type
T
= s
module
type
u2
= sig ...
end
module
type
with_2
= u2
with
module
type
T
= sig ...
end
module
type
a
= sig ...
end
module
type
c
= a
with
module
type
b
:= s