import Base
import ./LAWS.bend as Laws

def Laws.empty_command_parses():
  {==}

def Laws.lookup_preserves_value(value):
  {==}

def Laws.absent_option_is_none(key):
  {==}

def Laws.option_and_argument_names_are_separate(value):
  {==}

def Laws.required_option_preserves_text(text):
  {==}

def Laws.repeated_value_uses_last(text):
  {==}

def Laws.repeatable_option_defaults_empty():
  {==}

def Laws.repeatable_option_preserves_order(first, second):
  {==}

def Laws.repeatable_option_preserves_attached_empty():
  {==}

def Laws.repeatable_option_missing_value_is_error():
  {==}

def Laws.repeatable_option_requires_value_syntax():
  {==}

def Laws.negated_option_defaults_true():
  {==}

def Laws.negated_option_sets_false():
  {==}

def Laws.delimiter_makes_help_literal():
  {==}

def Laws.missing_value_is_error():
  {==}

def Laws.unknown_option_is_error():
  {==}