Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
390 B · 14 lines
at bend/all
123456789101112131415# eukhe: the proof of LAW cache_marks_example## PROOF: closed: both sides compute.
import Baseimport ../../bend/cache_marks.bend as Cmimport ../../bend/ffi_cache_marks.bend as FCmimport ../../bend/wire.bend as Wrimport ../../laws/base.bend as LawsBaseimport ../../laws/wire.bend as Wireimport ../../laws/cache_marks.bend as CacheMarks
def CacheMarks.cache_marks_example(): {==}