NextControl Linear Algebra/dev.nextftc.linalg/N4

N4

data object N4 : Nat(source)

Type-level representation of 4

Properties

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