Retrie.Elaborate
defaultElaborations :: [RewriteSpec] #
elaborateRewritesInternal :: FixityEnv -> [Rewrite Universe] -> [Rewrite Universe] -> IO [Rewrite Universe] #