diff options
Diffstat (limited to 'src/Util/ZRange/Operations.v')
| -rw-r--r-- | src/Util/ZRange/Operations.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Util/ZRange/Operations.v b/src/Util/ZRange/Operations.v index a0cf38f42..36548c0c5 100644 --- a/src/Util/ZRange/Operations.v +++ b/src/Util/ZRange/Operations.v @@ -188,6 +188,7 @@ Module ZRange. Notation shiftl := (ZRange.four_corners_and_zero Z.shiftl). Notation land := land_bounds. Notation lor := lor_bounds. + Notation cc_m s := (ZRange.two_corners (Z.cc_m s)). Module Export ZRangeNotations. Notation "- x" := (opp x) : zrange_scope. |