TLX.Invariant (TLX v0.5.3)

Copy Markdown

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