14 lines
260 B
Promela
14 lines
260 B
Promela
|
<schema {
|
||
|
definitions: {
|
||
|
Present: <rec <lit Present> <tuple [
|
||
|
<named username <atom String>>
|
||
|
]>>
|
||
|
Says: <rec <lit Says> <tuple [
|
||
|
<named who <atom String>>
|
||
|
<named what <atom String>>
|
||
|
]>>
|
||
|
}
|
||
|
embeddedType: #f
|
||
|
version: 1
|
||
|
}>
|