index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
cheri
/
sail_latex
/
sailBitStr.tex
blob: a0d408abd8a4c8b3be35d96e39e1def6d4d42b6a (
plain
)
1
val BitStr = "string
_
of
_
bits" : forall 'n. #
\hyperref
[zbits]
{
bits
}
#('n) -> string
