1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
#![no_std] extern crate typenum; extern crate void; use typenum::*; use void::Void; mod private { pub trait Sealed {} } impl private::Sealed for UTerm {} impl<N: private::Sealed> private::Sealed for UInt<N, B0> {} impl<N: private::Sealed> private::Sealed for UInt<N, B1> {} pub trait FinBound: Unsigned + private::Sealed { type Fin; } impl FinBound for UTerm { type Fin = Void; } impl<N: FinBound> FinBound for UInt<N, B0> { type Fin = (bool, N::Fin); } impl<N: FinBound> FinBound for UInt<N, B1> { type Fin = Option<<UInt<N, B0> as FinBound>::Fin>; }