def decode.empty
import mylsm-lsm-store@0.6.0.1/src/transfer/Restore.bend as Restoreimport Base
403def decode.empty(valid: Bool) -> Result<&1, &1, Error, Decoded>:
404 match valid:
405 case False{}: Fail{InvalidFormat{}}
406 case True{}: Done{Decoded{Nil{}}}