Function chalk_engine::slg::aggregate::is_trivial
source ยท fn is_trivial<I: Interner>(
interner: I,
subst: &Canonical<Substitution<I>>,
) -> bool
fn is_trivial<I: Interner>(
interner: I,
subst: &Canonical<Substitution<I>>,
) -> bool