Up
–
Module_type_subst
»
Structural
»
u
»
a
»
b
» c
Module type
b.c
type
t
=
|
A
of
t