Trait Label
mlsub::cons
pub trait Label: Clone { fn polarity(&self) -> Polarity; }
fn polarity(&self) -> Polarity