☰
Type Definition N10000000
typenum
[
−
]
[src]
Type Definition
typenum
::
N10000000
type N10000000 =
NInt
<
U10000000
>;