Various terminal state examples

gistfile1.txt

// Current

proto! oneshot {
    waiting:send {
        signal -> signaled
    }

    signaled:send { }
}


// terminal state annotation

proto! oneshot {
    waiting:send {
        signal -> signaled
    }

    signaled:!
}


// terminal state is empty

proto! oneshot {
    waiting:send {
        signal -> signaled
    }

    signaled
}


// terminal message annotation
proto! oneshot {
    waiting:send {
        signal -> !
    }
}


// -> () might make more sense...

proto! oneshot {
    waiting:send {
        signal -> ()
    }
}


// or just ...

proto! oneshot {
    waiting:send {
        signal
    }
}