type_level_logic::types::balanced

Type Alias SP18

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

Aliased Typeยง

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