| Frac (t1, t2) -> Frac (k t1, k t2)
| Sqrt t -> Sqrt (k t)
| Root (arg, index) -> Root (k arg, k index)
- | Break -> Break
+(* | Break -> Break *)
| Box (kind, terms) -> Box (kind, List.map k terms)
let visit_magic k = function
| `Keyword s
| `Number s -> s
+let boxify = function
+ | [ a ] -> a
+ | l -> Layout (Box (H, l))
+