Type Definition type_level_logic::strong::balanced::Succ

type Succ<A: Int> = <A as IntSucc>::Output;