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