~/jendhub

def read

gralha-byte-words@0.1.0.0 · words.bend:152

import gralha-byte-words@0.1.0.0/words.bend as Words
import Base

152def read(+path: String) -> IO(Array<U32> & U32):
153  do IO<Array<U32> & U32>:
154    r : Result<&1, &1, U32 & String, Array<U32> & U32> <- read_raw(path)
155    read_got(path, r)

Uses (9)

Used by (0)

No other definition uses this definition.