compiler/io.github.aplcornell.viaduct.passes/Rewrite/rewrite

rewrite

fun rewrite(labelConstant: LabelConstant): LabelConstant

Given a map that maps element to expressions, rewrite by substitution.

fun rewrite(label: Label): Label

Given a label with polymorphic label and a rewrite map, return a label without polymorphic labels

fun rewrite(l: LabelExpression): LabelExpression