Structure stringfindreplace

Source File	Identifier index	Theory binding index

signature stringfindreplace =
sig

  val subst : {redex:string,residue:string} list -> string -> string

end

Source File	Identifier index	Theory binding index