type_level_logic::types::balanced

Type Alias SP2

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

Aliased Typeยง

struct SP2(/* private fields */);