~/jendhub

def File.read

Base · base.bend:317

import Base
317def File.read(file: File, max: U32) ->
318  IO(File & Result<&1, &1, U32 & String, String>):
319  import "./effs/file_read.c"
320  import "./effs/file_read.js"

Uses (6)

Used by (16)