import Base
import ./LAWS.bend as Laws

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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