def read.spent
import ezsys@0.1.0.0/src/step.bend as Stepimport Base
36# the answer when a file has not ended after every read file.read makes
37def read.spent() -> Result<&1, &1, U32 & String, String>:
38 Fail{(27, "ezsys: file.read: the file did not end")}