import Base
import ./LAWS.bend as Laws

def Laws.empty_is_new(c):
  {==}

def Laws.capacity_new(c):
  {==}

def Laws.length_new(c):
  {==}

def Laws.empty_new(c):
  {==}

def Laws.new_zero():
  {==}

def Laws.new_one():
  {==}

def Laws.pop_empty(c):
  {==}

def Laws.peek_empty(c):
  {==}

def Laws.to_list_empty():
  {==}

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

def Laws.zero_is_full():
  {==}

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

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

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

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

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

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

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

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

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

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

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