Trait chalk_engine::context::UniverseMap [−] [src]

pub trait UniverseMap<C: Context>: Clone + Debug {
    fn map_goal_from_canonical(
        &self, 
        value: &C::CanonicalGoalInEnvironment
    ) -> C::CanonicalGoalInEnvironment;

    fn map_subst_from_canonical(
        &self, 
        value: &C::CanonicalConstrainedSubst
    ) -> C::CanonicalConstrainedSubst;
}

Required Methods

Implementors