def dir.list

ezsys@0.1.0.0 · main.bend:130

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

130# a directory's names, sorted by code point, with no "." or ".."; a failure
131# to read it is a Fail, never an exit
132def dir.list(
133  path: String
134) -> IO(Result<&1, &1, U32 & String, List<&2, String>>):
135  Sys.sys.list(path)