def File.read_bytes

Base · base.bend:322

import Base
322def File.read_bytes(file: File, max: U32) ->
323  IO(File & Result<&1, &1, U32 & String, List<&2, U32>>):
324  import "./effs/file_read.c"
325  import "./effs/file_read.js"

Uses (7)

Used by (8)