# eukhe: the proof of LAW tiny_run_example

import Base
import ../../laws/tiny/run.bend as TinyRun

def TinyRun.tiny_run_example():
  {==}