NextControl Linear Algebra/dev.nextftc.linalg/N1

N1

data object N1 : Nat(source)

Type-level representation of 1

Properties

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