Base · base.bend:177
import Base
177def IO.write(text: String) -> IO(Unit): 178 import "./effs/write.c" 179 import "./effs/write.js"