type_level_logic::types::balanced

Type Alias SN14

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

Aliased Typeยง

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