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