JsonneD.tlaCode

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

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

struct JsonneD

void

tlaCode

(

string key

,

string val

)

Meta

Source

See Implementation