Base · base.bend:240
import Base
240def IO.now() -> IO(Nat): 241 import "./effs/now.c" 242 import "./effs/now.js"