| { Lexing.pos_cnum = loc_begin }, { Lexing.pos_cnum = loc_end } ->
(loc_begin, loc_end)
-
type term_attribute =
[ `Loc of location (* source file location *)
| `IdRef of string (* ACic pointer *)
and case_pattern = string * capture_variable list
and box_kind = H | V | HV | HOV
+and box_spec = box_kind * bool * bool (* kind, spacing, indent *)
and layout_pattern =
| Sub of term * term
| Sqrt of term
| Root of term * term (* argument, index *)
(* | Break *)
- | Box of box_kind * term list
+ | Box of box_spec * term list
and magic_term =
(* level 1 magics *)