3 lines
48 B
Promela
3 lines
48 B
Promela
|
let ?ds = dataspace
|
||
|
<bind "syndicate" #x"" $ds>
|