import Base
import ./LAWS.bend as Laws

def Laws.empty_is_p_nil(): {==}
def Laws.to_list_empty(): {==}
def Laws.to_list_p(xs): {==}
def Laws.to_list_push_empty(x): {==}
def Laws.peek_empty(): {==}
def Laws.peek_push_empty(x): {==}
def Laws.peek_p_cons(h, t): {==}
def Laws.pop_empty(): {==}
def Laws.pop_push_empty(x): {==}
def Laws.pop_p_cons(h, t): {==}
def Laws.size_empty(): {==}
def Laws.size_p(xs): {==}
def Laws.size_push_empty(x): {==}
def Laws.is_empty_empty(): {==}
def Laws.is_empty_p_nil(): {==}
def Laws.is_empty_p_cons(h, t): {==}
def Laws.is_empty_push(x): {==}
def Laws.from_list_empty(): {==}
def Laws.from_list_singleton(x): {==}
def Laws.insert_nil(x): {==}
def Laws.push_two_ordered(): {==}
def Laws.push_two_same_order(): {==}
def Laws.peek_two_min(): {==}
def Laws.size_two(): {==}
def Laws.from_list_two(): {==}