def decode.empty.size.validated
import mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend as Restoreimport Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
442def decode.empty.size.validated(
443 input: Bytes.Bytes,
444 size_valid: Bool
445) -> Result<&1, &1, Error, Decoded>:
446 match size_valid:
447 case False{}: Fail{InvalidFormat{}}
448 case True{}: decode.empty.header.copies(clone.split(input))