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