Searched refs:subst_prs (Results 1 – 1 of 1) sorted by relevance
1110 subst_prs = (case_bndr, Var case_bndr_flt) function1113 env_rhs' = env_rhs { se_subst = Core.extendIdSubstList (se_subst env_rhs) subst_prs