Searched refs:recRecursive (Results 1 – 3 of 3) sorted by relevance
489 isRecursiveRecord q = recRecursive . theDef . fromMaybe __IMPOSSIBLE__ . lookupDefinition q <$> get…
657 Record{} | not (recRecursive def) -> return Inductive
2241 recRecursive :: Defn -> Bool2242 recRecursive (Record { recMutual = Just qs }) = not $ null qs function2243 recRecursive _ = __IMPOSSIBLE__ function