Searched refs:recCon (Results 1 – 3 of 3) sorted by relevance
540 memId <- visitorName $ recCon $ theDef dt
2291 recCon :: Defn -> QName2292 recCon Record{ recConHead } = conName recConHead function2293 recCon _ = __IMPOSSIBLE__ function
1145 …- [#4637](https://github.com/agda/agda/issues/4637): recCon-NOT-PRINTED in termination error in c…