TLX.Property (TLX v0.5.3)

Copy Markdown

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