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