type_level_logic::strong::balanced

Type Alias Pred

Source 
pub type Pred<A: Int> = <A as IntPred>::Output;