Struct EvaluateOptions 

pub struct EvaluateOptions {
    pub env: Option<EnvOptions>,
    pub trace: bool,
    pub with_proofs: bool,
}

Options for evaluate_with_options — bundles environment settings with runtime flags like trace and with_proofs. Keeps evaluate() backwards compatible.

Fields

env: Option<EnvOptions>

trace: bool

with_proofs: bool

When true, every query result is accompanied by a derivation tree at the same index in EvaluateResult.proofs. The inline (? expr with proof) keyword pair opts in per-query without flipping this global flag.

Trait Implementations

impl Clone for EvaluateOptions

fn clone(&self) -> EvaluateOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvaluateOptions

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

Formats the value using the given formatter.

impl Default for EvaluateOptions

fn default() -> EvaluateOptions

Returns the “default value” for a type.