☰
Type Definition N1012
typenum
[
−
]
[src]
Type Definition
typenum
::
N1012
type N1012 =
NInt
<
U1012
>;