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

import Base
import ../../laws/command/paths.bend as Command

def Command.command_memory_model_example():
  {==}