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