# eukhe: the proof of LAW rows_view_example

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

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