From b62d7ea2b81b5fe4428b69cc1571703c76b98d27 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 29 Jan 2018 16:55:33 +0000
Subject: Sync mono rewrites definitions with library

---
 lib/mono_rewrites.sail | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/lib/mono_rewrites.sail b/lib/mono_rewrites.sail
index a69dc379..650fdf53 100644
--- a/lib/mono_rewrites.sail
+++ b/lib/mono_rewrites.sail
@@ -4,25 +4,25 @@
 
 infix 6 <<
 
-val "shiftleft" : forall 'n ('ord : Order).
+val shiftleft = "shiftl" : forall 'n ('ord : Order).
     (vector('n, 'ord, bit), int) -> vector('n, 'ord, bit) effect pure
 
 overload operator << = {shiftleft}
 
 infix 6 >>
 
-val "shiftright" : forall 'n ('ord : Order).
+val shiftright = "shiftr" : forall 'n ('ord : Order).
     (vector('n, 'ord, bit), int) -> vector('n, 'ord, bit) effect pure
 
 overload operator >> = {shiftright}
 
-val "extz" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, 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(sizeof('m),v)
+function extzv(v) = extz_vec(sizeof('m),v)
 
-val "exts" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, bit) effect pure
+val "exts_vec" : forall 'n 'm. (atom('m),vector('n, dec, bit)) -> vector('m, dec, bit) effect pure
 val extsv : forall 'n 'm. vector('n, dec, bit) -> vector('m, dec, bit) effect pure
-function extsv(v) = exts(sizeof('m),v)
+function extsv(v) = exts_vec(sizeof('m),v)
 
 /* Definitions for the rewrites */
 
-- 
cgit v1.2.3