diff options
Diffstat (limited to 'cheri/sail_latex/sailtruncate.tex')
| -rw-r--r-- | cheri/sail_latex/sailtruncate.tex | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/cheri/sail_latex/sailtruncate.tex b/cheri/sail_latex/sailtruncate.tex deleted file mode 100644 index 5f7760f3..00000000 --- a/cheri/sail_latex/sailtruncate.tex +++ /dev/null @@ -1,6 +0,0 @@ -val truncate = { - ocaml: "vector_truncate", - lem: "vector_truncate", - coq: "vector_truncate", - c: "sail_truncate" -} : forall 'm 'n, 'm >= 0 & 'm <= 'n. (vector('n, dec, bit), atom('m)) -> vector('m, dec, bit) |