# eukhe: the proof of LAW rows_req_fits_example

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

def DocRows.rows_req_fits_example():
  {==}