import Base
import ./LAWS.bend as Laws

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

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

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

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

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

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

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

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

def Laws.size_node_def(a, A, l, v, r):
  {==}

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

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

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

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

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

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

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

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

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

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

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

def Laws.is_empty_node(a, A, l, v, r):
  {==}