4 lines
149 B
Promela
4 lines
149 B
Promela
|
let ?root_ds = dataspace
|
||
|
<require-service <relay-listener <tcp "0.0.0.0" 9001> $gatekeeper>>
|
||
|
<bind <ref { oid: "syndicate" key: #x"" }> $root_ds #f>
|