NextControl Linear Algebra/dev.nextftc.linalg/N10

N10

data object N10 : Nat(source)

Type-level representation of 10

Properties

Link copied to clipboard
open override val num: Int = 10
Generated by Dokka
Copyright © 2026 NextFTC - Licensed under the BSD-3-Clause license.