import Base
import ./LAWS.bend as Laws

def Laws.encode_null():
  {==}

def Laws.encode_true():
  {==}

def Laws.encode_false():
  {==}

def Laws.encode_num_zero():
  {==}

def Laws.encode_num_42():
  {==}

def Laws.encode_str_hi():
  {==}

def Laws.show_eq_encode_null():
  {==}

def Laws.decode_null():
  {==}

def Laws.decode_true():
  {==}

def Laws.decode_false():
  {==}

def Laws.decode_num_42():
  {==}

def Laws.decode_str_hi():
  {==}

def Laws.decode_ws_true():
  {==}

def Laws.roundtrip_null():
  {==}

def Laws.roundtrip_true():
  {==}

def Laws.roundtrip_false():
  {==}

def Laws.roundtrip_num_42():
  {==}

def Laws.roundtrip_str_hi():
  {==}

def Laws.encode_num_1():
  {==}

def Laws.encode_str_empty():
  {==}

def Laws.decode_num_0():
  {==}

def Laws.decode_str_empty():
  {==}

def Laws.roundtrip_num_0():
  {==}

def Laws.roundtrip_str_empty():
  {==}

def Laws.show_eq_encode_true():
  {==}

def Laws.decode_ws_null():
  {==}