File.open_bytes: def of Base
Import: import Base
Lines 309-315 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=309&end_line=315

import Base

# The path as its bytes (0..255), with no UTF-8 encoding, so a name that
# isn't UTF-8, as IO.args_bytes gives it, opens. A value past 255 fails
# with EINVAL, and a 0 with EILSEQ, as a NUL in File.open's path does.
def File.open_bytes(path: List<&2, U32>, mode: String) ->
  IO(Result<&1, &1, U32 & String, File>):
  import "./effs/file_open.c"
  import "./effs/file_open.js"

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32