def size64

import bend-kit-files@0.3.1.0/files.bend as Files

import Base

176# The size of an open file as (hi, lo): hi * 2^32 + lo bytes. Errors retain the File.
177def size64(file: File) ->
178  IO(File & Result<&1, &1, U32 & String, U32 & U32>):
179  import "./effs/files.c"
180  import "./effs/files.js"

Uses (6)

U32
String
Pair
Result
IO
…

Used by (0)

No other definition uses this definition.