functor
(
M
:
Memory
.
Model
)
->
sig
val
create :
Model
.t
->
Generator
.computer
end