summaryrefslogtreecommitdiff
path: root/cheri/sail_latexcc/sailccfncapStructToCapReg.tex
blob: f6b02365cac04775223b9b149e1efccccc609bf6 (plain) 
1
2

function #\hyperref[zcapStructToCapReg]{capStructToCapReg}#(cap) : CapStruct -> CapReg =
    (cap.tag @ #\hyperref[zcapStructToMemBitsonetwoeight]{capStructToMemBits128}#(cap))
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-05 07:55:40 +0000