# eukhe: the proof of LAW rows_entry_example

import Base
import ../../laws/doc_rows.bend as DocRows

def DocRows.rows_entry_example():
  {==}