def File.close
import Base347def File.close(file: File) -> IO(Unit):
348 import "./effs/file_close.c"
349 import "./effs/file_close.js"
import Base347def File.close(file: File) -> IO(Unit):
348 import "./effs/file_close.c"
349 import "./effs/file_close.js"