Struct SessionPoolMemoryPolicy 

pub struct SessionPoolMemoryPolicy { /* private fields */ }

Policy for refusing fresh imports in a same-process SessionPool.

Reusing an already-imported environment does not grow Lean’s process-global import state. Fresh imports can, so this policy is checked only on cache miss, immediately before Lean.importModules would run.

Implementations

impl SessionPoolMemoryPolicy

pub fn disabled() -> Self

Disable import/RSS refusals.

This preserves the historical SessionPool::with_capacity behavior and is appropriate only for short-lived processes, tests with tiny import counts, or explicit profiling workloads.

pub fn max_fresh_imports(self, limit: u64) -> Self

Refuse the next cache-miss import once limit fresh imports have already run through this pool.

pub fn max_rss_kib(self, limit_kib: u64) -> Self

Refuse the next cache-miss import when current process RSS is at or above limit_kib.

pub fn max_fresh_imports_limit(&self) -> Option<u64>

Return the configured fresh-import limit.

pub fn max_rss_kib_limit(&self) -> Option<u64>

Return the configured process RSS ceiling in KiB.

Trait Implementations

impl Clone for SessionPoolMemoryPolicy

fn clone(&self) -> SessionPoolMemoryPolicy

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SessionPoolMemoryPolicy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SessionPoolMemoryPolicy

fn default() -> SessionPoolMemoryPolicy

Returns the “default value” for a type.

impl Eq for SessionPoolMemoryPolicy

impl PartialEq for SessionPoolMemoryPolicy

fn eq(&self, other: &SessionPoolMemoryPolicy) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SessionPoolMemoryPolicy