import Base
import ./LAWS.bend as Laws

def Laws.to_words_empty():
  {==}

def Laws.is_empty_empty():
  {==}

def Laws.size_empty():
  {==}

def Laws.to_list_empty():
  {==}

def Laws.contains_empty():
  {==}

def Laws.singleton_zero_words():
  {==}

def Laws.singleton_zero_list():
  {==}

def Laws.singleton_zero_size():
  {==}

def Laws.singleton_zero_contains():
  {==}

def Laws.remove_singleton_zero():
  {==}

def Laws.insert_singleton_idempotent():
  {==}

def Laws.union_empty_singleton():
  {==}

def Laws.intersect_empty_singleton():
  {==}

def Laws.singleton_one_words():
  {==}

def Laws.singleton_one_list():
  {==}

def Laws.singleton_thirty_one():
  {==}

def Laws.singleton_thirty_two_words():
  {==}

def Laws.singleton_thirty_two_list():
  {==}

def Laws.contains_absent_singleton():
  {==}

def Laws.insert_zero_empty():
  {==}

def Laws.insert_thirty_two_empty():
  {==}

def Laws.remove_absent_empty():
  {==}

def Laws.remove_other_singleton():
  {==}

def Laws.remove_one_from_two():
  {==}

def Laws.union_two_bits():
  {==}

def Laws.union_across_words():
  {==}

def Laws.intersect_disjoint():
  {==}

def Laws.intersect_same():
  {==}

def Laws.from_words_trims_zero_tail():
  {==}

def Laws.from_words_zero_is_empty():
  {==}

def Laws.u32_singleton_wrapper():
  {==}

def Laws.u32_insert_wrapper():
  {==}