Type Definition type_level_logic::strong::balanced::Mul

type Mul<A: Int, B: Int> = <A as IntMul<B>>::Output;