type_level_logic::types::balanced

Type Alias SP27

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

Aliased Typeยง

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