☰
Type Definition N100000
typenum
[
−
]
[src]
Type Definition
typenum
::
N100000
type N100000 =
NInt
<
U100000
>;