Module read_write_set::dynamic_analysis

Structs

• ConcretizedFormals
  A read/write set state with no unbound formals or type variables
• ConcretizedSecondaryIndexes
  A read/write set state with no secondary indexes and no unbound formals or type variables

Functions

• concretize
  Bind all formals and type variables in accesses using signers, actuals, and type_actuals. In addition, concretize all secondary indexes in accesses against the state in blockchain_view.