type_level_logic::types::balanced

Type Alias SP12

Source 
pub type SP12 = Zero<Plus<Plus<Term>>>;

Aliased Typeยง

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