TLX.Refinement (TLX v0.5.2)

Copy Markdown

IR struct for a refines DSL entity — links a concrete spec to an abstract one it refines.