// f : Matcher -> S static S regexReplaceIC(S s, S pat, O f) { ret regexReplace(regexpMatcherIC(pat, s), f); } sS regexReplaceIC(S s, S pat, S replacement) { ret regexpReplaceIC_direct(s, pat, replacement); }