10 lines
156 B
Promela
10 lines
156 B
Promela
|
let ?sceneDs = dataspace
|
||
|
|
||
|
<require-service <config-watcher "scene" { config: $sceneDs }>>
|
||
|
|
||
|
? <MainDataspace ?ds> [
|
||
|
$ds [
|
||
|
<SceneHandle $sceneDs>
|
||
|
]
|
||
|
]
|