View on GitHub

Magma Utils

Adds some basic functionality missing from

Strings

ReplaceAll (P :: MonStgElt, R :: MonStgElt, S :: MonStgElt)

-> MonStgElt

Replaces the each occurrance of P in S by R.