type_level_logic::types::balanced

Type Alias SP17

Source 
pub type SP17 = Minus<Zero<Minus<Plus<Term>>>>;

Aliased Typeยง

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