type_level_logic::types::balanced

Type Alias SP3

Source 
pub type SP3 = Zero<Plus<Term>>;

Aliased Typeยง

struct SP3(/* private fields */);