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