import Base
import ./LAWS.bend as Laws

def Laws.empty_find_is_singleton():
  {==}

def Laws.new_is_empty():
  {==}

def Laws.connected_is_reflexive():
  {==}

def Laws.union_connects_arguments():
  {==}

def Laws.union_is_idempotent_for_connection():
  {==}

def Laws.union_preserves_root_of_first():
  {==}

def Laws.union_transitive_chain():
  {==}