index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cheri
/
sail_latexcc
/
sailccprerrbits.tex
blob: 7d926384a8534a50ac5c381f0316cdf424d7dd88 (
plain
)
1
val "prerr
_
bits" : forall 'n. (string, #
\hyperref
[zbits]
{
bits
}
#('n)) -> unit
