Function chalk_solve::clauses::program_clauses_for_env

pub fn program_clauses_for_env<'db, I: Interner>(
    db: &'db dyn RustIrDatabase<I>, 
    environment: &Environment<I>
) -> ProgramClauses<I>