TLX.RefinementMapping
(TLX v0.5.2)
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.