For a single state, the terminating type-`σ` event (resp. · Prove2Me

P

Initializing...

For a single state, the terminating type-`σ` event (resp. · Prove2Me