Class Rule

src/main/java/trace/util/Production.kt:4–9

import java.util.regex.Matcher

class Production {
    inner class Rule(val left: String, val right: String) {
        fun apply(a: String): String {
            val r = Regex(Regex.escape(left))
            return r.replace(a, right)
        }
    }