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

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

def Command.command_spacing_example():
  ({==}, {==})