path: root/cheri/sail_latexcc/sailccsigned.tex

val signed = {
  c: "sail_signed",
  _: "sint"
} : forall 'n, 'n > 0. #\hyperref[zbits]{bits}#('n) -> range(- (2 ^ ('n - 1)), 2 ^ ('n - 1) - 1)