functor
(
M
:
Sigs
.
Compiler
)
->
Mcfg
.
S