type_level_logic::types::balanced

Type Alias SP1

Source 
pub type SP1 = Plus<Term>;

Aliased Typeยง

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