# eukhe: the proof of LAW commit_choices_example

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

def DocCommit.commit_choices_example():
  ({==}, ({==}, ({==}, ({==}, {==}))))