diff options
Diffstat (limited to 'src/tac2qexpr.mli')
| -rw-r--r-- | src/tac2qexpr.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli index 229cece7c4..ad52884ca6 100644 --- a/src/tac2qexpr.mli +++ b/src/tac2qexpr.mli @@ -84,6 +84,12 @@ type induction_clause_r = { type induction_clause = induction_clause_r located +type conversion_r = +| QConvert of Constrexpr.constr_expr +| QConvertWith of Constrexpr.constr_expr * Constrexpr.constr_expr + +type conversion = conversion_r located + type multi_r = | QPrecisely of int located | QUpTo of int located |