Type Definition type_level_logic::strong::balanced::Add

type Add<A: Int, B: Int> = <A as IntAdd<B>>::Output;