Type Definition solid::int::Uint80

type Uint80<'a> = Int<'a, 80_usize, 10_usize>;