Struct Ctx 

pub struct Ctx { /* private fields */ }

Evaluation context threaded through the tree-walker: includes the unique-id source for closure identities and the builtin module cache. It does not hold a module registry or loader; imports are resolved before evaluation (crate::load_module), and loaded modules are Rc-held values.

Implementations

impl Ctx

pub fn new() -> Self

A context with a fresh id source. Used by crate::eval::eval and crate::eval::apply.

pub fn with_ids(ids: u64) -> Self

A context resuming an id source at ids so identities continue from an earlier context. This is required when a host builds a fresh Ctx per call but shares values between them (e.g., Python bindings). Without this, a module’s reserved id block and subsequent closure IDs could alias, causing __eq to incorrectly identify them as equal. The counter is carried by value to avoid a pointer chase during closure minting.

pub fn ids_used(&self) -> u64

Returns the current id source value to seed a successor context (see with_ids).

Trait Implementations

impl Default for Ctx

fn default() -> Self

Returns the “default value” for a type.

impl Drop for Ctx

Frees the cells iteratively: dropping the list whole would recurse once per cell.

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.