← All docs
time() — internals
Compiler internals for time(): lowering path, type checks, and runtime helpers.
time() — internals
Where it lives
- Signature:
src/builtins/system/time.rs - Lowering:
src/codegen/lower_inst/builtins/system.rs:615 (lower_time) - Function symbol:
lower_time()
Lowering notes
- Lowers
time()through the shared wall-clock runtime helper.
Runtime helpers
The following runtime helpers are referenced:
__rt_time
Signature summary
function time(): intWhat the type checker enforces
- Arity: takes no arguments.
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/time/time.rs(eval_builtin!) - Dispatch hooks:
direct,values