Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
229 B · 8 lines
at main
123456789# eukhe: the proof of LAW commit_choices_example
import Baseimport ../../bend/doc_commit.bend as Cmimport ../../laws/doc_commit.bend as DocCommit
def DocCommit.commit_choices_example(): ({==}, ({==}, ({==}, ({==}, {==}))))