Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
678 B · 19 lines
1234567891011121314151617181920# eukhe: the proof of LAW codemode_id_example
import Baseimport ../../bend/codemode_id.bend as Ciimport ../../bend/ffi_codemode_id.bend as FCiimport ../../bend/wire.bend as Wrimport ../../laws/base.bend as LawsBaseimport ../../laws/wire.bend as Wireimport ../wire/wire_str_exact.bend as PWireStrExactimport ../base/wire.bend as LWireimport ../base/logic/logic.bend as LLogicLogicimport ../wire/wire_nat_exact.bend as PWireNatExactimport ../../laws/codemode_id.bend as CodemodeIdimport ./base.bend as LACodemodeId
# PROOF of LAW codemode_id_example: each anchor computes.
def CodemodeId.codemode_id_example(): ({==}, ({==}, ({==}, ({==}, ({==}, ({==}, {==}))))))