def file.read

import ezsys@0.1.0.0/main.bend as Ezsys

import Base
import ezsys@0.1.0.0/src/sys.bend as Sys

15# a whole file's text; a failure to open or read it is a Fail, never an exit
16def file.read(path: String) -> IO(Result<&1, &1, U32 & String, String>):
17  Sys.sys.read(path)

Uses (6)

U32
String
Pair
Result
IO
…

Used by (0)

No other definition uses this definition.