diff options
| author | Pierre-Marie Pédrot | 2017-08-24 15:48:14 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-24 16:35:10 +0200 |
| commit | d61047ba240741b9f92ec03e7026deba79ea7b70 (patch) | |
| tree | da8c4782ae867c093d9a334823db865703751453 /src/tac2qexpr.mli | |
| parent | 7d496e618f35a17b8432ac3c7205138f03c95fd2 (diff) | |
Adding a scope for reduction flags.
Diffstat (limited to 'src/tac2qexpr.mli')
| -rw-r--r-- | src/tac2qexpr.mli | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/tac2qexpr.mli b/src/tac2qexpr.mli index 2e7fc7b44a..7c774a5c80 100644 --- a/src/tac2qexpr.mli +++ b/src/tac2qexpr.mli @@ -101,3 +101,17 @@ type rewriting = rewriting_r located type dispatch_r = raw_tacexpr option list * (raw_tacexpr option * raw_tacexpr option list) option type dispatch = dispatch_r located + +type red_flag_r = +| QBeta +| QIota +| QMatch +| QFix +| QCofix +| QZeta +| QConst of Libnames.reference or_anti list located +| QDeltaBut of Libnames.reference or_anti list located + +type red_flag = red_flag_r located + +type strategy_flag = red_flag list located |