type_level_logic::types::balanced

Type Alias SN12

Source 
pub type SN12 = Zero<Minus<Minus<Term>>>;

Aliased Typeยง

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