import Base
import ./LAWS.bend as Laws

def Laws.to_list_empty(a, A):
  {==}

def Laws.empty_is_s_nil(a, A):
  {==}

def Laws.to_list_s(a, A, xs):
  {==}

def Laws.to_list_push(a, A, xs, x):
  {==}

def Laws.push_empty(a, A, x):
  {==}

def Laws.pop_push_empty(a, A, x):
  {==}

def Laws.pop_push(a, A, xs, x):
  {==}

def Laws.pop_s_cons(a, A, h, t):
  {==}

def Laws.peek_push(a, A, xs, x):
  {==}

def Laws.peek_push_empty(a, A, x):
  {==}

def Laws.peek_s_cons(a, A, h, t):
  {==}

def Laws.is_empty_empty(a, A):
  {==}

def Laws.is_empty_s_nil(a, A):
  {==}

def Laws.is_empty_push(a, A, xs, x):
  {==}

def Laws.is_empty_s_cons(a, A, h, t):
  {==}

def Laws.length_empty(a, A):
  {==}

def Laws.length_s(a, A, xs):
  {==}

def Laws.length_push(a, A, xs, x):
  {==}

def Laws.length_push_empty(a, A, x):
  {==}

def Laws.from_list_s(a, A, xs):
  {==}

def Laws.to_list_from_list(a, A, xs):
  {==}

def Laws.from_list_to_list(a, A, xs):
  {==}

def Laws.to_list_from_empty(a, A):
  {==}

def Laws.pop_empty(a, A):
  {==}

def Laws.peek_empty(a, A):
  {==}