import Base
import ./LAWS.bend as Laws

def Laws.pass_true():
  {==}

def Laws.fail_false():
  {==}

def Laws.check_id(b):
  {==}

def Laws.all_nil():
  {==}

def Laws.all_true_one():
  {==}

def Laws.all_false_one():
  {==}

def Laws.all_true_true():
  {==}

def Laws.all_true_false():
  {==}

def Laws.and_list_all(xs):
  {==}

def Laws.eq_u32_zero():
  {==}

def Laws.eq_u32_ne():
  {==}

def Laws.eq_bool_tt():
  {==}

def Laws.eq_bool_tf():
  {==}

def Laws.eq_nat_zero():
  {==}

def Laws.eq_string_empty():
  {==}

def Laws.eq_string_ne():
  {==}

def Laws.suite_nil():
  {==}

def Laws.suite_one_pass():
  {==}

def Laws.suite_one_fail():
  {==}

def Laws.case_ok_payload(n, b):
  {==}

def Laws.case_ctor(n, b):
  {==}

def Laws.all_false_true():
  {==}

def Laws.all_three_true():
  {==}

def Laws.eq_bool_ff():
  {==}

def Laws.eq_bool_ft():
  {==}

def Laws.eq_nat_one():
  {==}

def Laws.eq_nat_ne():
  {==}

def Laws.eq_u32_one():
  {==}

def Laws.eq_string_aa():
  {==}

def Laws.suite_two_pass():
  {==}

def Laws.suite_pass_fail():
  {==}

def Laws.check_true():
  {==}

def Laws.check_false():
  {==}

def Laws.case_ok_via_case(n, b):
  {==}