Dolmen doc : Smtlib.Term

Ast_smtlib.Term