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

import Base
import ../../bend/dash.bend as Da
import ../../laws/dash.bend as Dash

def Dash.dash_token_example():
  ({==}, {==})