Type Definition type_level_logic::strong::balanced::Neg

type Neg<A: Int> = <A as IntNeg>::Output;