= Polyvariance

Polyvariance is an optimization pass for the <<SXML#>>
<<IntermediateLanguage#>>, invoked from <<SXMLSimplify#>>.

== Description

This pass duplicates a higher-order, `let` bound function at each
variable reference, if the cost is smaller than some threshold.

== Implementation

* https://github.com/MLton/mlton/blob/master/mlton/xml/polyvariance.fun[`polyvariance.fun`]

== Details and Notes

{empty}
