diff options
Diffstat (limited to 'cheri/sail_latexcc/sailccmod.tex')
| -rw-r--r-- | cheri/sail_latexcc/sailccmod.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cheri/sail_latexcc/sailccmod.tex b/cheri/sail_latexcc/sailccmod.tex new file mode 100644 index 00000000..ab70dd7a --- /dev/null +++ b/cheri/sail_latexcc/sailccmod.tex @@ -0,0 +1,7 @@ +val mod = { + smt: "mod", + ocaml: "modulus", + lem: "integerMod", + c: "tmod_int", + coq: "mod_with_eq" +} : forall 'n 'm. (atom('n), atom('m)) -> {'o, 'o = #\hyperref[zmod]{mod}#('n, 'm). atom('o)} |