import Base
import ./LAWS.bend as Laws

def Laws.rgb_ctor():
  {==}

def Laws.hsl_ctor():
  {==}

def Laws.range_ctor():
  {==}

def Laws.rgb_r_proj():
  {==}

def Laws.rgb_g_proj():
  {==}

def Laws.rgb_b_proj():
  {==}

def Laws.rgb_a_proj():
  {==}

def Laws.hsl_h_proj():
  {==}

def Laws.hsl_s_proj():
  {==}

def Laws.hsl_l_proj():
  {==}

def Laws.hsl_a_proj():
  {==}

def Laws.clamp_u8_low():
  {==}

def Laws.clamp_u8_mid():
  {==}

def Laws.clamp_u8_high():
  {==}

def Laws.clamp_u8_overflow():
  {==}

def Laws.clamp_u8_way_over():
  {==}

def Laws.clamp_rgb_r_overflow():
  {==}

def Laws.clamp_rgb_g_ok():
  {==}

def Laws.clamp_rgb_b_overflow():
  {==}

def Laws.rgba_string_red():
  {==}

def Laws.rgba_string_black():
  {==}

def Laws.rgba_string_custom():
  {==}

def Laws.rgba_starts_with_prefix():
  {==}

def Laws.hsla_string_green():
  {==}

def Laws.hsla_string_zero():
  {==}