path: root/cheri/sail_latexcc/sailccWriteRAM.tex

val __WriteRAM = "write_ram" : forall 'n 'm.
  (atom('m), atom('n), #\hyperref[zbits]{bits}#('m), #\hyperref[zbits]{bits}#('m), #\hyperref[zbits]{bits}#(8 * 'n)) -> bool effect {wmv}