Type Definition type_level_logic::strong::balanced::Abs

type Abs<A: Int> = <A as IntAbs>::Output;