sig
  val mk 
    Parsetree.pattern ->
    Parsetree.class_field list -> Parsetree.class_structure
end