import Base
import ./LAWS.bend as Laws

def Laws.empty_is_d_nil(a, A): {==}
def Laws.peek_front_empty(a, A): {==}
def Laws.peek_back_empty(a, A): {==}
def Laws.pop_front_empty(a, A): {==}
def Laws.pop_back_empty(a, A): {==}
def Laws.to_list_empty(a, A): {==}
def Laws.length_empty(a, A): {==}
def Laws.is_empty_empty(a, A): {==}
def Laws.to_list_d(a, A, f, r): {==}
def Laws.length_d(a, A, f, r): {==}
def Laws.from_list_d(a, A, xs): {==}
def Laws.from_list_empty(a, A): {==}
def Laws.from_list_singleton_roundtrip(a, A, x): {==}
def Laws.push_front_d(a, A, f, r, x): {==}
def Laws.push_back_d(a, A, f, r, x): {==}
def Laws.push_front_singleton(a, A, x): {==}
def Laws.push_back_singleton(a, A, x): {==}
def Laws.length_push_front_empty(a, A, x): {==}
def Laws.length_push_back_empty(a, A, x): {==}
def Laws.is_empty_push_front(a, A, x): {==}
def Laws.is_empty_push_back(a, A, x): {==}
def Laws.peek_front_push_front(a, A, x): {==}
def Laws.peek_back_push_back(a, A, x): {==}
def Laws.peek_front_push_back(a, A, x): {==}
def Laws.peek_back_push_front(a, A, x): {==}
def Laws.pop_front_push_front_empty(a, A, x): {==}
def Laws.pop_front_push_back_empty(a, A, x): {==}
def Laws.pop_back_push_back_empty(a, A, x): {==}
def Laws.pop_back_push_front_empty(a, A, x): {==}
def Laws.pop_front_cons(a, A, h, t, r): {==}
def Laws.pop_back_cons(a, A, f, h, t): {==}
def Laws.norm_front_cons(a, A, h, t, r): {==}
def Laws.norm_back_cons(a, A, f, h, t): {==}
def Laws.norm_front_rear_one(a, A, x): {==}
def Laws.norm_back_front_one(a, A, x): {==}
def Laws.to_list_front_then_back(a, A, x, y): {==}