type_level_logic::types::balanced

Type Alias SP25

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

Aliased Typeยง

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