index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cheri
/
sail_latexcc
/
sailccbits.tex
blob: 88255b5a1a7e9279866c26f1056ac2643d142614 (
plain
)
1
type #
\hyperref
[zbits]
{
bits
}
# ('n : Int) = vector('n, dec, bit)
