type ast =
- | Formula of string * role * CicNotationPt.term
+ | ThfFormula of string * role * CicNotationPt.term
+ | ThfDefinition of string * string * CicNotationPt.term
+ | ThfType of string * string * CicNotationPt.term
| Comment of string
| Inclusion of string * (string list)