Add a symbol for new implicit arguments for backwards compatability

Fix monomorphisation tests

1 files changed, 2 insertions, 2 deletions

diff --git a/test/mono/feature.sail b/test/mono/feature.sail
index c7e13e11..c12f79e8 100644
--- a/test/mono/feature.sail
+++ b/test/mono/feature.sail
@@ -10,8 +10,8 @@ overload operator * = {mult_range, mult_int, mult_real}
 val replicate_bits = "replicate_bits" : forall 'n 'm. (bits('n), atom('m)) -> bits('n * 'm)
 overload operator < = {lt_atom, lt_int}
 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)
+val extzv : forall 'n 'm. (implicit('m), vector('n, dec, bit)) -> vector('m, dec, bit) effect pure
+function extzv(m, v) = extz_vec(m,v)
 val bitvector_concat = {ocaml: "append", lem: "concat_vec", c: "append"} : forall ('n : Int) ('m : Int).
   (bits('n), bits('m)) -> bits('n + 'm)
 overload append = {bitvector_concat}