6 lines
77 B
Promela
6 lines
77 B
Promela
|
? <service-object <daemon squeak> ?cap> [
|
||
|
$cap {
|
||
|
config: $config
|
||
|
}
|
||
|
]
|