type 'a t = 'a Type.Tag.t
val named : string t
A tag used to named formulas in smtlib. Should correspond to the `:named` attribute.
Multi-triggers (typically annotated on the body of a quantified formula and not the quantified formula itself).
val rwrt : unit t
A flag (i.e. unit tag), indicating that the tagged term/formula is to be considered as a rewrite rule.