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