path: root/cheri/sail_latex/sailfndecodeSomeJoffset.tex

function clause #\hyperref[zdecode]{decode}# (0b000010 @ offset : #\hyperref[zbits]{bits}#(26)) =
  #\hyperref[zSome]{Some}#(#\hyperref[zJ]{J}#(offset))