Documentation

defaultElaborations :: [RewriteSpec] Source #

elaborateRewritesInternal :: FixityEnv -> [Rewrite Universe] -> [Rewrite Universe] -> IO [Rewrite Universe] Source #