Struct Trans

A transition from one state to another

struct Trans(T) ;

Fields

NameTypeDescription
from Tstate before
to Tstate after