Searched defs:substInScope (Results 1 – 4 of 4) sorted by relevance
177 substInScope (Subst in_scope _ _ _) = in_scope function
175 substInScope (Subst in_scope _ _ _) = in_scope function
181 substInScope (Subst in_scope _ _ _) = in_scope function