type_level_logic::types::balanced

Type Alias S0

Source 
pub type S0 = Term;

Aliased Typeยง

pub struct S0;