← All docs
mysqli_field_seek() — internals
Compiler internals for mysqli_field_seek(): lowering path, type checks, and runtime helpers.
mysqli_field_seek() — internals
Where it lives
- Signature:
crates/elephc-builtin-contract/src/catalog_data.rs - Lowering:
src/mysqli_prelude/build/procedural.rs:1621 (mysqli_field_seek) - Function symbol:
mysqli_field_seek()
Lowering notes
- Implemented by the compiler-injected mysqli 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 mysqli_field_seek(mixed $result, int $index): boolWhat the type checker enforces
- Arity: takes exactly 2 arguments.
Eval interpreter (magician)
Not callable from eval’d code — the magician interpreter has no entry for this builtin.