Module stateright::semantics::register

Implements SequentialSpec for Register operational semantics.

Structs

• Register
  A simple register used to define reference operational semantics via SequentialSpec.

Enums

• RegisterOp
  An operation that can be invoked upon a Register, resulting in a RegisterRet
• RegisterRet
  A return value for a RegisterOp invoked upon a Register.