Merge branch 'sail2' into separate_bv

1 files changed, 1 insertions, 22 deletions

diff --git a/test/c/pattern_concat_nest.sail b/test/c/pattern_concat_nest.sail
index df588662..398e814f 100644
--- a/test/c/pattern_concat_nest.sail
+++ b/test/c/pattern_concat_nest.sail
@@ -1,27 +1,6 @@
 default Order dec
 
-type bits ('n : Int) = bitvector('n, dec)
-
-union option ('a : Type) = {None : unit, Some : 'a}
-
-val vector_subrange = {ocaml: "subrange", lem: "subrange_vec_dec", c: "vector_subrange"}
-		    : forall ('n : Int) ('m : Int) ('o : Int), 'o <= 'm & 'm <= 'n.
-  (bits('n), atom('m), atom('o)) -> bits('m - ('o - 1))
-
-val bitvector_access = {ocaml: "access", lem: "access_vec_dec", c: "vector_access"}
-		     : forall ('n : Int) ('m : Int), 0 <= 'm & 'm + 1 <= 'n.
-  (bits('n), atom('m)) -> bit
-
-overload vector_access = {bitvector_access}
-
-val eq_bit = {ocaml: "eq_bit", lem: "eq", interpreter: "eq_anything", c: "eq_bit"}: (bit, bit) -> bool
-
-overload operator == = {
-  eq_bit
-}
-
-val and_bool = {ocaml: "and_bool", lem: "and_bool", smt: "and_bool", interpreter: "and_bool", c: "and_bool"}: (bool, bool) -> bool
-
+$include <prelude.sail>
 
 ////////////////////////////////////////////////////////////