# eukhe: the proof of LAW command_ffi_example
#
# PROOF of LAW command_ffi_example: a closed computation over the strings
# Rust sends for the example table.

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

def Command.command_ffi_example():
  {==}