import Base
import ./LAWS.bend as Laws

def Laws.parse_roundtrip_zero():
  {==}

def Laws.parse_roundtrip_small():
  {==}

def Laws.parse_roundtrip_large():
  {==}

def Laws.parse_literal():
  {==}

def Laws.parse_reject_missing_component():
  {==}

def Laws.parse_reject_metadata():
  {==}

def Laws.parse_reject_extra_component():
  {==}

def Laws.cmp_major_lt():
  {==}

def Laws.cmp_minor_lt():
  {==}

def Laws.cmp_patch_lt():
  {==}

def Laws.cmp_eq():
  {==}

def Laws.cmp_gt():
  {==}

def Laws.precedes_true():
  {==}

def Laws.precedes_false_on_equal():
  {==}