import Base
import ./LAWS.bend as Laws

def Laws.to_list_empty():
  {==}

def Laws.empty_is_b_nil():
  {==}

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

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

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

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

def Laws.to_list_singleton(x):
  {==}

def Laws.singleton_is_b(x):
  {==}

def Laws.length_empty():
  {==}

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

def Laws.length_singleton(x):
  {==}

def Laws.get_empty_zero():
  {==}

def Laws.get_singleton_zero(x):
  {==}

def Laws.get_singleton_one(x):
  {==}

def Laws.to_list_append(xs, ys):
  {==}

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

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

def Laws.append_singletons(x, y):
  {==}

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

def Laws.get_append_singletons_zero(x, y):
  {==}

def Laws.get_append_singletons_one(x, y):
  {==}

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

def Laws.reverse_empty():
  {==}

def Laws.reverse_singleton(x):
  {==}

def Laws.eq_empty():
  {==}

def Laws.eq_empty_singleton(x):
  {==}

def Laws.eq_singleton_diff():
  {==}

def Laws.hex_empty():
  {==}

def Laws.hex_byte_zero():
  {==}

def Laws.hex_byte_ff():
  {==}

def Laws.hex_byte_0a():
  {==}

def Laws.hex_byte_10():
  {==}

def Laws.hex_byte_7f():
  {==}

def Laws.hex_two_bytes():
  {==}