# eukhe: the proof of LAW rows_gap_example

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

def DocRows.rows_gap_example(b):
  {==}