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