diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/mono_rewrites.sail | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/mono_rewrites.sail b/lib/mono_rewrites.sail index 650fdf53..1af9b17f 100644 --- a/lib/mono_rewrites.sail +++ b/lib/mono_rewrites.sail @@ -16,6 +16,9 @@ val shiftright = "shiftr" : forall 'n ('ord : Order). overload operator >> = {shiftright} +val arith_shiftright = "arith_shiftr" : forall 'n ('ord : Order). + (vector('n, 'ord, bit), int) -> vector('n, 'ord, bit) effect pure + val "extz_vec" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, bit) effect pure val extzv : forall 'n 'm. vector('n, dec, bit) -> vector('m, dec, bit) effect pure function extzv(v) = extz_vec(sizeof('m),v) |