box_of mathonly (A.H, false, false) attrs
(aux_children mathonly false xref prec
(CicNotationUtil.ungroup terms)))
+ | A.Maction alternatives ->
+ toggle_action (List.map invoke_reinit alternatives)
| A.Group terms ->
let children =
aux_children mathonly false xref prec