def IO.pass
import Base218def IO.pass(-A: Type, r: Result<&1, &1, U32 & String, A>) -> IO(A):
219 match r:
220 case Done{value}:
221 IO.pure(A, value)
222 case Fail{(code, message)}:
223 IO.die(A, code, message)
import Base218def IO.pass(-A: Type, r: Result<&1, &1, U32 & String, A>) -> IO(A):
219 match r:
220 case Done{value}:
221 IO.pure(A, value)
222 case Fail{(code, message)}:
223 IO.die(A, code, message)