# eukhe: the proof of LAW commit_prefix_spec

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

def DocCommit.commit_prefix_spec(h):
  {==}