NextFTC Suite
Toggle table of contents
0.0.1
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
NextFTC Suite
NextControl Linear Algebra
/
dev.nextftc.linalg
/
natOf
nat
Of
fun
natOf
(
num
:
Int
)
:
Nat
(
source
)
Creates a
Nat
from a number.