import Base
import ./LAWS.bend as Laws

def Laws.is_quote_true():
  {==}

def Laws.is_quote_false():
  {==}

def Laws.is_comma_true():
  {==}

def Laws.is_comma_false():
  {==}

def Laws.parse_line_empty():
  {==}

def Laws.parse_line_one():
  {==}

def Laws.parse_line_two():
  {==}

def Laws.parse_line_trailing_empty():
  {==}

def Laws.parse_line_quoted_comma():
  {==}

def Laws.parse_line_quoted_empty():
  {==}

def Laws.parse_line_doubled_quote():
  {==}

def Laws.parse_empty():
  {==}

def Laws.parse_one_line():
  {==}

def Laws.parse_two_lines():
  {==}

def Laws.parse_final_empty_line():
  {==}

def Laws.encode_field_plain():
  {==}

def Laws.encode_field_comma():
  {==}

def Laws.encode_field_quote():
  {==}

def Laws.encode_field_empty():
  {==}

def Laws.encode_row_empty():
  {==}

def Laws.encode_row_two():
  {==}

def Laws.encode_row_quoted():
  {==}

def Laws.encode_empty():
  {==}

def Laws.encode_two_rows():
  {==}

def Laws.parse_encode_simple():
  {==}