N3

data object N3 : Nat(source)

Type-level representation of 3

Properties

Link copied to clipboard
open override val num: Int = 3