Type Alias ProtocolMachineState 

pub type ProtocolMachineState<I = (), G = (), P = NoopPersistence, Nu = DefaultVerificationModel> = ProtocolMachine<I, G, P, Nu>;

Lean-aligned ProtocolMachine state alias.

Aliased Type

pub struct ProtocolMachineState<I = (), G = (), P = NoopPersistence, Nu = DefaultVerificationModel> { /* private fields */ }