Struct ToLcnfConfig 

pub struct ToLcnfConfig {
    pub erase_proofs: bool,
    pub erase_types: bool,
    pub lambda_lift: bool,
    pub max_inline_size: usize,
    pub debug_names: bool,
}

Configuration for the kernel Expr to LCNF conversion.

Controls which passes are enabled and how aggressively they are applied.

Fields

erase_proofs: bool

Whether to erase proof terms (Prop-sorted expressions).

erase_types: bool

Whether to erase type arguments.

lambda_lift: bool

Whether to perform lambda lifting.

max_inline_size: usize

Maximum size (in AST nodes) for a lambda to be left inline.

debug_names: bool

Whether to generate debug-friendly names.

Implementations

impl ToLcnfConfig

pub fn full() -> Self

Create a config with all passes enabled.

pub fn minimal() -> Self

Create a config with no passes enabled (raw conversion only).

pub fn debug() -> Self

Create a config for debugging (names preserved, minimal erasure).

Trait Implementations

impl Clone for ToLcnfConfig

fn clone(&self) -> ToLcnfConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ToLcnfConfig

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

Formats the value using the given formatter.

impl Default for ToLcnfConfig

fn default() -> Self

Returns the “default value” for a type.