Module protocol 

The protocol contract.

Enums

Event

An event a protocol can be given. Used by drivers and by the test helper.

Traits

Protocol

A synchronous protocol state machine.

Functions

step

Deliver one event to p and return the effects it emitted.

step_in

Deliver one event to p against a store the caller owns, and return the effects it emitted.

step_noting

step_with, collecting what the protocol narrates as well as what it emitted.

step_with

Deliver one event to p against a timer identity source the caller owns.

Type Aliases

ProtoCx

The context type for a given protocol.

ProtoEffect

The effect type for a given protocol.

ProtoEvent

The event type for a given protocol.