house/scene/boot/05-common-scene.pr

11 lines
277 B
Promela

? <Scene ?name ?scene> [
$scene [
? <Exit ?spriteName ?roomName> <Exit $spriteName $roomName <v 0.0 1.6 0.0>>
? <Exit ?spriteName ?roomName ?initialPos> [
$config ? <Scene $roomName ?ds> [
$scene <portal $spriteName $ds $initialPos>
]
]
]
]