path: root/cheri/sail_latex/sailsailsailsailsailfndecodeSomeTRAPIMMvvvv.tex

function clause #\hyperref[zdecode]{decode}# (0b000001 @ rs : regno @ 0b01010 @ imm : imm16) =
  #\hyperref[zSome]{Some}#(#\hyperref[zTRAPIMM]{TRAPIMM}#(rs, imm, LT))  /* TLTI */