diff options
| author | Jon French | 2018-05-08 17:16:09 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-08 17:16:09 +0100 |
| commit | 54d4716c42bf3c8f35d0537385bceb09c3b348b1 (patch) | |
| tree | 7f608c8e5ff2c2ddcba0be2099803cba9ac12116 /test | |
| parent | 6fd0b4d4caf0103e383df2ad2401c4e7e614c450 (diff) | |
fixed sub-mappings
Diffstat (limited to 'test')
| -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) |