# Computational proofs for Crc32's definitional laws.
import Base
import ./LAWS.bend as Laws

def Laws.encode_empty():
  {==}

def Laws.encode_zero_octet():
  {==}

def Laws.encode_check_vector():
  {==}

def Laws.encode_hello():
  {==}

def Laws.encode_masks_octet():
  {==}

def Laws.finalize_update_empty():
  {==}