# PROOF of LAW command_memory_model_example: a closed computation over the example table.

import Base
import ../LAWS.bend as Laws

def Laws.command_memory_model_example():
  {==}