← All docs
curl_pause() — internals
Compiler internals for curl_pause(): lowering path, type checks, and runtime helpers.
curl_pause() — internals
Where it lives
- Signature:
crates/elephc-builtin-contract/src/catalog_curl.rs - Lowering:
src/curl_prelude.rs:1392 (curl_pause) - Function symbol:
curl_pause()
Lowering notes
- Implemented by the compiler-injected curl prelude.
Semantic descriptor
Shared contract implemented by an injected elephc-PHP prelude.
EIR and runtime boundary
Implemented by an injected elephc-PHP prelude.
Signature summary
function curl_pause(CurlHandle $handle, int $flags): intWhat the type checker enforces
- Arity: takes exactly 2 arguments.
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/curl/curl_pause.rs(eval_builtin!) - Execution: Magician interpreter adapter.
- Adapter reason:
dynamic-language-surface. - Dispatch hooks:
direct,values