From 307de01c4d431f0df4abd669ef7625085b6ef633 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 28 Nov 2014 17:12:05 +0000
Subject: full list of built-in functions in rudimentary manual

---
 language/primitive_doc.ott | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/language/primitive_doc.ott b/language/primitive_doc.ott
index 2a0c2c0f..e96f6065 100644
--- a/language/primitive_doc.ott
+++ b/language/primitive_doc.ott
@@ -95,8 +95,16 @@ functions :: '' ::=
   {{ com bitwise and }}
   | val forall Nat 'n . ( bit [ 'n ] , bit [ 'n ] ) -> bit [ 'n ] : & :: :: andvec
   | val ( bit , bit ) -> bit : ^ :: :: xor
-  {{ com bitwise xor ^ will fix gen later }}
+  {{ com bitwise xor }}
   | val forall Nat 'n . ( bit [ 'n ] , bit [ 'n ] ) -> bit [ 'n ] : '^' :: :: xorvec
+  | val forall Nat 'n . ( bit ,  [| 'n |] ) -> bit [ 'n ] : '^^' :: :: duplicate
+  {{ com duplicate bit into a vector }}
+  | val forall Nat 'n , Nat 'm , 'm <= 'n . ( bit [ 'n ] , [| 'm |] ) -> bit [ 'n ] : << :: :: lshift
+  {{ com left shift }}
+  | val forall Nat 'n , Nat 'm , 'm <= 'n . ( bit [ 'n ] , [| 'm |] ) -> bit [ 'n ] : >> :: :: rshift
+  {{ com right shift }}
+  | val forall Nat 'n , Nat 'm , 'm <= 'n . ( bit [ 'n ] , [| 'm |] ) -> bit [ 'n ] : <<< :: :: rotate
+  {{ com rotate }}
 
 
 functions_with_coercions :: '' ::=
-- 
cgit v1.2.3