Type Alias ProtocolSpec<S, M>

type ProtocolSpec<S extends string, M extends string> = {
    agency: Record<S, Agency>;
    init: S;
    messages: Record<M, Transition<S>>;
    name: string;
}

Type Parameters

S extends string
M extends string

Index

Properties

agency init messages name

Properties

agency

agency: Record<S, Agency>

init

init: S

messages

messages: Record<M, Transition<S>>

name

name: string

the protocol's name as it appears in errors