Type Alias FullCommit 

pub type FullCommit = And<DbConnected, And<TransactionOpen, TransactionCommitted>>;

Composite: a connection was made, a transaction was opened and committed.

Aliased Type

pub struct FullCommit { /* private fields */ }