N8

data object N8 : Nat(source)

Type-level representation of 8

Properties

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