Searched defs:underAbstractionAbs (Results 1 – 1 of 1) sorted by relevance
374 underAbstractionAbs = underAbstractionAbs' id function379 underAbstractionAbs' wrap t a k = addContext (wrap $ realName $ absName a, t) $ k $ absBody a function