ToInt

object ToInt
class Object
trait Matchable
class Any
ToInt.type

Givens

Givens

given default[N <: Nat](using vo: ValueOf[N]): ToInt[N]