JsonneD.tlaVar

Bind a string top-level argument for a top-level parameter.

Argument values are copied so memory should be managed by caller.

struct JsonneD

void

tlaVar

(

string key

,

string val

)

Meta

Source

See Implementation