sailccmodint.tex « sail_latexcc « cheri - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/cheri/sail_latexcc/sailccmodint.tex

blob: bd5677aa0912b10e4a6f77f44c3bb9e27be867e2 (plain)

val mod_int = {
  smt: "mod",
  ocaml: "modulus",
  lem: "integerMod",
  c: "tmod_int",
  coq: "Z.rem"
} : (int, int) -> int