import Base
import ./LAWS.bend as Laws

def Laws.make_show():
  {==}

def Laws.build_alias():
  {==}

def Laws.show_alias():
  {==}

def Laws.parse_http():
  {==}

def Laws.parse_https_path_query():
  {==}

def Laws.parse_empty_path_query():
  {==}

def Laws.parse_trailing_slash():
  {==}

def Laws.parse_repeated_path_slash():
  {==}

def Laws.parse_roundtrip():
  {==}

def Laws.reject_relative():
  {==}

def Laws.reject_wrong_scheme():
  {==}

def Laws.reject_upper_scheme():
  {==}

def Laws.reject_empty_host():
  {==}

def Laws.reject_userinfo():
  {==}

def Laws.reject_fragment():
  {==}

def Laws.reject_second_query():
  {==}

def Laws.join_empty_path():
  {==}

def Laws.join_nested_path():
  {==}

def Laws.join_trailing_slash():
  {==}

def Laws.join_empty_segment():
  {==}

def Laws.join_preserves_query():
  {==}