sig
  val remove_topconstr : Parsetree.pattern -> Parsetree.pattern
  val add_underscores : Parsetree.pattern -> Parsetree.pattern
end