type_level_logic::types::balanced

Type Alias SP14

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

Aliased Typeยง

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