Module verifier

Module verifier 

Source
Expand description

Implements the StateTransitionVerifier type for checking the validity of a state transition

Structsยง

StateTransitionVerifier
Verifies a state transition