type term_attribute =
- [ `Loc of location (* source file location *)
- | `IdRef of string (* ACic pointer *)
+ [ `Loc of location (* source file location *)
+ | `IdRef of string (* ACic pointer *)
+ | `Level of int * Gramext.g_assoc (* precedence, associativity *)
]
type literal =
and subst = string * term
and case_pattern = string * capture_variable list
-and box_kind = H | V
+and box_kind = H | V | HV | HOV
and layout_pattern =
| Sub of term * term
|+ column separator, row separator +| *)
| Sqrt of term
| Root of term * term (* argument, index *)
- | Break
+(* | Break *)
| Box of box_kind * term list
and magic_term =