def File.size

import Base

332def File.size(file: File) ->
333  IO(File & Result<&1, &1, U32 & String, U32>):
334  import "./effs/file_size.c"
335  import "./effs/file_size.js"

Uses (6)