def sys.read.un

ezsys@0.1.0.0 · src/sys.bend:56

import Base
import ezsys@0.1.0.0/src/step.bend as Step

56# unpack a read's file and answer
57def sys.read.un(
58  got: String,
59  rest: File -> String -> IO(Result<&1, &1, U32 & String, String>),
60  pair: File & Result<&1, &1, U32 & String, String>
61) -> IO(Result<&1, &1, U32 & String, String>):
62  (file, res) = pair
63  sys.read.next(file, Step.read.step(res, got), rest)