Documentation

cgInfoFInfo :: TargetInfo -> CGInfo -> IO (FInfo Cinfo) #

fixConfig :: FilePath -> Config -> Config #

refinementEQs :: LocSpecType -> [(Expr, Expr)] #

canRewrite :: HashSet Symbol -> Expr -> Expr -> Bool #