functor
(
Loc
:
Defs
.
Loc
) (
Desc
:
Defs
.
ClassDescription
)
->
Defs
.
Generator