# eukhe: the proof of LAW commit_entry_example

import Base
import ../../laws/doc_commit.bend as DocCommit

def DocCommit.commit_entry_example():
  {==}