☰
Type Definition N144115188075855872
typenum
[
−
]
[src]
Type Definition
typenum
::
N144115188075855872
type N144115188075855872 =
NInt
<
U144115188075855872
>;