ByteFile.v: prove uniqueness of BYTEFILE.rep
ByteFile.v: prove uniqueness of BYTEFILE.rep

i.e., there's only one way to interpret a BFILE as a list of bytes

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl