TLX.Property (TLX v0.5.2)

Copy Markdown

IR struct for a property — a temporal formula over behaviors.