Struct MetaConfig 

pub struct MetaConfig {
    pub fo_approx: bool,
    pub const_approx: bool,
    pub ctx_approx: bool,
    pub track_assignments: bool,
    pub max_recursion_depth: u32,
    pub proof_irrelevance: bool,
    pub eta_struct: bool,
    pub unfold_reducible: bool,
}

Configuration for meta operations.

Fields

fo_approx: bool

Whether to use first-order approximation in unification.

const_approx: bool

Whether to use constant approximation in unification.

ctx_approx: bool

Whether to use context approximation.

track_assignments: bool

Whether to track assignments for undo.

max_recursion_depth: u32

Maximum recursion depth for unification.

proof_irrelevance: bool

Whether proof irrelevance is enabled.

eta_struct: bool

Whether eta expansion is used for structs.

unfold_reducible: bool

Whether to unfold reducible definitions.

Trait Implementations

impl Clone for MetaConfig

fn clone(&self) -> MetaConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MetaConfig

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

Formats the value using the given formatter.

impl Default for MetaConfig

fn default() -> Self

Returns the “default value” for a type.