# eukhe: the proof of LAW dash_entry_example
#
# PROOF: both sides compute.

import Base
import ../../bend/ffi_dash.bend as FDa
import ../../bend/wire.bend as Wr
import ../../laws/dash.bend as Dash

def Dash.dash_entry_example():
  {==}