☰
Type Definition N1000000000000000
typenum
::
consts
[
−
]
[src]
Type Definition
typenum
::
consts
::
N1000000000000000
type N1000000000000000 =
NInt
<
U1000000000000000
>;