Grammar

meta_field

Kind: production

Record: pag:production-meta-field

Canonical: Grammar

"objective:" <string> | "priority:" <authority_chain> | "trust:" <trust_clause> | "jurisdiction:" <scope> "|" "external:" <scope> | "recursion_limit:" <bound>

Listed in Grammar records, after meta_block and before body.

Grounds

  • node:tel-objective
  • invariant:epi-reachable-check

Linked from

  • The nodes
  • The invariants