Function chalk_solve::clauses::constituent_types
source · fn constituent_types<I: Interner>(
db: &dyn RustIrDatabase<I>,
ty: &TyKind<I>
) -> Vec<Ty<I>>fn constituent_types<I: Interner>(
db: &dyn RustIrDatabase<I>,
ty: &TyKind<I>
) -> Vec<Ty<I>>