Trait typenum::type_operators::ToInt
source · Expand description
A type operator for taking a concrete integer value from a type.
It returns arbitrary integer value without explicitly specifying the type. It is useful when you pass the values to methods that accept distinct types without runtime casting.