Trait aorist_core::ConstraintSatisfactionBase[−][src]

pub trait ConstraintSatisfactionBase<'a> where
    Self::RootType: AoristConcept,
    Self::Outer: OuterConstraint<'a>,
    Self::ConstraintType: TConstraint<'a, Root = Self::RootType, Outer = Self::Outer>, {
    type ConstraintType;
    type RootType;
    type Outer;
}

Associated Types

Implementors