Tag: 33000
Data Item: array
Semantics: TLA+ function as an array of [argument, value] pairs
Point of Contact: Markus Alexander Kuppe <markus&tlapl.us>, Younes Akhouayri <git&younes.io>
Description of Semantics:
https://gist.github.com/younes-io/8bbc63cffd4811f6aa2776c7301eb360