type_level_logic::types::balanced

Type Alias SP5

Source 
pub type SP5 = Minus<Minus<Plus<Term>>>;

Aliased Typeยง

pub struct SP5(/* private fields */);