Struct Limits 

pub struct Limits {

    pub max_integer_bits: u64,
    pub max_integer_bytes: u64,
    pub max_string_bytes: usize,
    pub max_string_alloc_bytes: u64,
    pub max_worlds: usize,
    pub max_outcomes: usize,
    pub max_collection: usize,
    pub max_work: u64,
    pub max_iterations: u64,
    pub max_call_depth: usize,
    pub max_cached_calls: usize,
    pub max_output: usize,
    pub stack_size: usize,
    pub max_threads: usize,
    pub max_chain_states: usize,
}

Upper bounds set by whoever runs a program. A program’s @max_worlds and @max_iterations can lower them, never raise them.

Fields

max_integer_bits: u64

Maximum bits per integer; cannot exceed the parser’s hard ceiling.

max_integer_bytes: u64

Cumulative allowance for large integer results (including shared copies).

max_string_bytes: usize

Maximum UTF-8 bytes in one string.

max_string_alloc_bytes: u64

Cumulative UTF-8 payload bytes produced by the runtime (not live memory).

max_worlds: usize

Worlds one statement may produce.

max_outcomes: usize

Outcomes of one distribution, or of combining distributions.

max_collection: usize

Elements of one collection built by the program.

max_work: u64

Units of work: world-steps plus outcomes computed.

max_iterations: u64

Iterations of one loop.

max_call_depth: usize

Nested calls.

max_cached_calls: usize

Function results kept for reuse (the cache is cleared when full).

max_output: usize

Bytes of print output.

stack_size: usize

Stack size of the engine’s thread; it bounds how deep calls can nest, together with max_call_depth.

max_threads: usize

Threads that sample batches of runs at the same time. The output doesn’t depend on it.

max_chain_states: usize

States of a loop solved as a Markov chain; a loop with more is unrolled instead.

Trait Implementations

impl Clone for Limits

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Limits

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

Formats the value using the given formatter.

impl Default for Limits

fn default() -> Limits

Returns the “default value” for a type.