1signature stringfindreplace = 2sig 3 4 val subst : {redex:string,residue:string} list -> string -> string 5 6end 7