def IO.print_err
import Base181def IO.print_err(text: String) -> IO(Unit):
182 import "./effs/print_err.c"
183 import "./effs/print_err.js"
import Base181def IO.print_err(text: String) -> IO(Unit):
182 import "./effs/print_err.c"
183 import "./effs/print_err.js"