TLX.RefinementMapping
(TLX v0.5.3)
Copy Markdown
IR struct for a single mapping inside refines — binds an abstract variable to a concrete expression.
IR struct for a single mapping inside refines — binds an abstract variable to a concrete expression.