NextControl Linear Algebra/dev.nextftc.linalg/N5

N5

data object N5 : Nat(source)

Type-level representation of 5

Properties

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