Searched refs:notstuck (Results 1 – 1 of 1) sorted by relevance
1038 Just cc -> runAM (Match f cc spine ([] :> notstuck) ctrl)1044 notstuck = Closure Unevaled (Def f []) emptyEnv spine function