import Base
import ./LAWS.bend as Laws

def Laws.bound_inclusive():
  {==}
def Laws.bound_exclusive():
  {==}
def Laws.nat_make():
  {==}
def Laws.nat_closed():
  {==}
def Laws.u32_make():
  {==}
def Laws.nat_closed_open():
  {==}
def Laws.nat_closed_open_length():
  {==}
def Laws.nat_open_closed():
  {==}
def Laws.nat_open():
  {==}
def Laws.nat_singleton():
  {==}
def Laws.nat_open_singleton_empty():
  {==}
def Laws.nat_reversed_empty():
  {==}
def Laws.nat_contains_inside():
  {==}
def Laws.nat_contains_excluded_upper():
  {==}
def Laws.nat_contains_excluded_lower():
  {==}
def Laws.nat_overlap_touch_closed():
  {==}
def Laws.nat_overlap_touch_open():
  {==}
def Laws.nat_overlap_disjoint():
  {==}
def Laws.nat_clamp_low():
  {==}
def Laws.nat_clamp_mid():
  {==}
def Laws.nat_clamp_high():
  {==}
def Laws.u32_closed_open_length():
  {==}
def Laws.u32_closed_open_list():
  {==}
def Laws.u32_open_list():
  {==}
def Laws.u32_singleton():
  {==}
def Laws.u32_open_singleton_empty():
  {==}
def Laws.u32_contains_inside():
  {==}
def Laws.u32_contains_excluded_upper():
  {==}
def Laws.u32_overlap_touch_open():
  {==}
def Laws.u32_overlap_disjoint():
  {==}
def Laws.u32_clamp_low():
  {==}
def Laws.u32_clamp_high():
  {==}