import Base
import ./LAWS.bend as Laws

def Laws.normalize_empty():
  {==}

def Laws.normalize_absolute_root():
  {==}

def Laws.normalize_collapses_slashes():
  {==}

def Laws.normalize_relative():
  {==}

def Laws.normalize_keeps_dot_components():
  {==}

def Laws.is_absolute_root():
  {==}

def Laws.is_absolute_relative():
  {==}

def Laws.segments_drop_empty():
  {==}

def Laws.split_is_segments():
  {==}

def Laws.join_relative():
  {==}

def Laws.join_absolute_second():
  {==}

def Laws.join_all_segments():
  {==}

def Laws.basename_nested():
  {==}

def Laws.basename_root():
  {==}

def Laws.dirname_nested():
  {==}

def Laws.dirname_single():
  {==}

def Laws.dirname_root():
  {==}

def Laws.extension_simple():
  {==}

def Laws.extension_hidden():
  {==}

def Laws.extension_hidden_with_suffix():
  {==}

def Laws.extension_none():
  {==}

def Laws.is_absolute_empty():
  {==}

def Laws.is_absolute_slash():
  {==}

def Laws.segments_empty():
  {==}

def Laws.segments_single():
  {==}

def Laws.join_empty_empty():
  {==}

def Laws.join_empty_rel():
  {==}

def Laws.join_all_nil():
  {==}

def Laws.join_all_one():
  {==}

def Laws.normalize_idempotent_simple():
  {==}

def Laws.basename_file():
  {==}

def Laws.dirname_file():
  {==}

def Laws.extension_txt():
  {==}

def Laws.split_eq_segments_abs():
  {==}