Function chalk_engine::slg::aggregate::is_trivial

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