path: root/cheri/sail_latex/sailfndecodeSomeDMULT.tex

function clause #\hyperref[zdecode]{decode}# (0b000000 @ rs : regno @ rt : regno @ 0b00000 @ 0b00000 @ 0b011100) =
  #\hyperref[zSome]{Some}#(#\hyperref[zDMULT]{DMULT}#(rs, rt))