☰
Type Definition U30
typenum
[
−
]
[src]
Type Definition
typenum
::
U30
type U30 =
UInt
<
UInt
<
UInt
<
UInt
<
UInt
<
UTerm
,
B1
>,
B1
>,
B1
>,
B1
>,
B0
>;