return_term loc (Layout (Root (arg, index)))
| "hbox"; LPAREN; p = l1_pattern; RPAREN ->
return_term loc (Layout (Box ((H, false, false), p)))
return_term loc (Layout (Root (arg, index)))
| "hbox"; LPAREN; p = l1_pattern; RPAREN ->
return_term loc (Layout (Box ((H, false, false), p)))