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

import Base
import ../../bend/cache_marks.bend as Cm
import ../../bend/ffi_cache_marks.bend as FCm
import ../../bend/wire.bend as Wr
import ../../laws/base.bend as LawsBase
import ../../laws/wire.bend as Wire
import ../../laws/cache_marks.bend as CacheMarks

def CacheMarks.cache_marks_example():
  {==}