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

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

def Command.command_memory_model_keys_example():
  {==}