Merge remote-tracking branch 'origin/sail2' into c_fixes

1 files changed, 4 insertions, 0 deletions

diff --git a/doc/examples/my_replicate_bits.sail b/doc/examples/my_replicate_bits.sail
index c9972cd6..8c3c9458 100644
--- a/doc/examples/my_replicate_bits.sail
+++ b/doc/examples/my_replicate_bits.sail
@@ -17,10 +17,14 @@ val operator >> = {
 
 val "or_vec" : forall 'n. (bits('n), bits('n)) -> bits('n)
 
+val zero_extend = "zero_extend" : forall 'n 'm, 'm >= 'n. (bits('n), atom('m)) -> bits('m)
+
 overload operator | = {or_vec}
 
 val my_replicate_bits : forall 'n 'm, 'm >= 1 & 'n >= 1. (int('n), bits('m)) -> bits('n * 'm)
 
+val zeros = "zeros" : forall 'n. atom('n) -> bits('n)
+
 function my_replicate_bits(n, xs) = {
   ys = zeros(n * length(xs));
   foreach (i from 1 to n) {