Type Definition solid::int::Int80

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