functor
(
Desc
:
Defs
.
ClassDescription
) (
MakeClass
:
Defs
.
InnerClassBuilder
)
->
sig
end