TLX.Invariant (TLX v0.5.2)

Copy Markdown

IR struct for an invariant — a safety predicate over spec state.