Module contract

Enums

• Contract

Functions

• check_contract
• check_is_same_state_type
• handle_state_op
• handle_value_op