NextControl Linear Algebra/dev.nextftc.linalg/N7

N7

data object N7 : Nat(source)

Type-level representation of 7

Properties

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