Searched defs:foldIds (Results 1 – 1 of 1) sorted by relevance
309 fun foldIds(tc :: tcs, {staticEnv, dynEnv, lastLoc, ...}) = function366 fun foldIds(id :: ids, {staticEnv, dynEnv, lastLoc, ...}) = function