Skip to main content

ref_value

Function ref_value 

Source
pub fn ref_value(slots: &[u64]) -> &Value
Expand description

The value a Ref2 pair at the head of slots holds by reference: the one-element slice a JSON, extension, or handle producer published (jit_boundary.md, axiom S7: one dereference).

The slots must hold a pair a producer published into storage that is alive: its own scratch, an extern’s stored value, or a boundary value alive for the call (axioms S3, S4). A pair of length zero, an unset extern, reads as Value::None.