New file that contains helper functions and lemmes for converting valu/valuset to bytesets etc.
New file that contains helper functions and lemmes for converting valu/valuset to bytesets etc.

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