23 lines
171 B
Text
23 lines
171 B
Text
request destroy (destructor) {
|
|
|
|
}
|
|
|
|
event message {
|
|
msg: str,
|
|
}
|
|
|
|
event already_failed {
|
|
|
|
}
|
|
|
|
event out_of_date {
|
|
|
|
}
|
|
|
|
event extension {
|
|
name: u32,
|
|
}
|
|
|
|
event done {
|
|
|
|
}
|