def File.open
import Base304def File.open(path: String, mode: String) ->
305 IO(Result<&1, &1, U32 & String, File>):
306 import "./effs/file_open.c"
307 import "./effs/file_open.js"
import Base304def File.open(path: String, mode: String) ->
305 IO(Result<&1, &1, U32 & String, File>):
306 import "./effs/file_open.c"
307 import "./effs/file_open.js"