A declarative condition over runtime state facts.
Predicates influence executable transition and target semantics. A frontend author may combine facts, but only the runtime decides whether they hold.
A declarative condition over runtime state facts.
Predicates influence executable transition and target semantics. A frontend author may combine facts, but only the runtime decides whether they hold.