functor
(
M
:
Sigs
.
Compiler
)
->
sig
class
wp :
WpContext
.model
->
Generator
.computer
end