import Base
import ./LAWS.bend as Laws

def Laws.empty_nodes():
  {==}

def Laws.empty_edge_count():
  {==}

def Laws.empty_neighbors():
  {==}

def Laws.empty_has_edge():
  {==}

def Laws.singleton_nodes():
  {==}

def Laws.singleton_edge_count():
  {==}

def Laws.singleton_neighbors():
  {==}

def Laws.singleton_has_edge():
  {==}

def Laws.edge_adds_nodes():
  {==}

def Laws.edge_adds_one_edge():
  {==}

def Laws.edge_is_present():
  {==}

def Laws.edge_neighbors():
  {==}

def Laws.reverse_edge_is_absent():
  {==}

def Laws.duplicate_edge_count():
  {==}

def Laws.self_loop_neighbors():
  {==}