BYTE_PROOF.bend checks

raw source on the hub · import 0xc409b77d3230ca33374caf6b0993f0cb/BYTE_PROOF.bend as BYTE_PROOF

import Base
import ./bytes.bend as B
import ./byte_model.bend as M
import ./BYTE_LAWS.bend as L

This file declares nothing of its own.