Searched refs:projClosure (Results 1 – 1 of 1) sorted by relevance
1226 …let projClosure (Arg ai f) = Closure Unevaled (Var 0 []) (extendEnv (unArg e) emptyEnv) [Proj Proj… function1227 projs <- mapM (createThunk . projClosure) fs