Module Tac2expr.PartialPat

type r =
| Var of Names.Name.t
| Atom of atom
| Ref of ctor_data_for_patterns * t list
| Or of t list
| As of t * Names.Id.t
| Extension of {
example : atom option;
}
and t = r CAst.t