Enum ProcessFileOutcome 

pub enum ProcessFileOutcome {
    Processed(ProcessedFile),
    Unsupported,
}

Outcome of crate::LeanSession::process_with_info_tree.

Variants

Processed(ProcessedFile)

The elaborator ran and produced an Elab.InfoTree projection. ProcessedFile::diagnostics carries every error-severity entry the elaborator emitted; callers that need to distinguish heartbeat exhaustion from other failures should match on the diagnostics there.

Unsupported

The capability dylib does not export the lean_rs_host_process_with_info_tree shim. No FFI call was made; callers can fall back or degrade as appropriate.

Trait Implementations

impl Debug for ProcessFileOutcome

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

Formats the value using the given formatter.