# eukhe: the proof of LAW command_named_example
#
# PROOF of LAW command_named_example: closed; both sides compute.

import Base
import ../../laws/command/named.bend as CommandNamed

def CommandNamed.command_named_example():
  {==}