functor (M : Sigs.Compiler->
  sig class wp : WpContext.model -> Generator.computer end