type_level_logic::types::balanced

Type Alias SP21

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

Aliased Typeยง

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