☰
Type Definition N576460752303423488
typenum
[
−
]
[src]
Type Definition
typenum
::
N576460752303423488
type N576460752303423488 =
NInt
<
U576460752303423488
>;