[−][src]Trait mlsub::cons::Constructor
Associated Types
Loading content...Required methods
fn component(&self) -> Self::Component
fn join(&mut self, other: &Self, pol: Polarity)
fn visit_params_intersection<F, E>(
&self,
other: &Self,
visit: F
) -> Result<(), E> where
F: FnMut(Self::Label, &StateSet, &StateSet) -> Result<(), E>,
&self,
other: &Self,
visit: F
) -> Result<(), E> where
F: FnMut(Self::Label, &StateSet, &StateSet) -> Result<(), E>,
Visit the common type parameters of two constructors.
fn map<F>(self, mapper: F) -> Self where
F: FnMut(Self::Label, StateSet) -> StateSet,
F: FnMut(Self::Label, StateSet) -> StateSet,