Documentation

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

fixConfig :: FilePath -> Config -> Config Source #

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

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