diff options
Diffstat (limited to 'test/ocaml')
| -rw-r--r-- | test/ocaml/prelude.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail index 6cbabed7..5b046104 100644 --- a/test/ocaml/prelude.sail +++ b/test/ocaml/prelude.sail @@ -199,6 +199,8 @@ val sub_range = "sub_int" : forall 'n 'm 'o 'p. val sub_int = "sub_int" : (int, int) -> int +val sub_nat = "sub_int" : (nat, nat) -> nat + val sub_vec : forall 'n. (bits('n), bits('n)) -> bits('n) val sub_vec_int = "sub_vec_int" : forall 'n. (bits('n), int) -> bits('n) |