NDynamic

data class NDynamic(val num: Int) : Nat(source)

Type-level representation of an unknown/dynamic dimension

Constructors

Link copied to clipboard
constructor(num: Int)

Properties

Link copied to clipboard
open override val num: Int