typenum
::
consts
typenum
::
consts
::
U11
[
−
]
[src]
type U11 =
UInt
<
UInt
<
UInt
<
UInt
<
UTerm
,
B1
>,
B0
>,
B1
>,
B1
>;