List of all items
Structs
- host::LeanCancellationToken
- host::LeanCapabilities
- host::LeanDeclarationFilter
- host::LeanHost
- host::LeanProgressEvent
- host::LeanSession
- host::LeanSourceRange
- host::SessionStats
- host::elaboration::LeanDiagnostic
- host::elaboration::LeanElabFailure
- host::elaboration::LeanElabOptions
- host::elaboration::LeanPosition
- host::evidence::LeanEvidence
- host::evidence::ProofSummary
- host::meta::LeanMetaOptions
- host::meta::LeanMetaService
- host::pool::PoolStats
- host::pool::PooledSession
- host::pool::SessionPool
- host::process::CommandInfoNode
- host::process::NameRefNode
- host::process::ProcessedFile
- host::process::TacticInfoNode
- host::process::TermInfoNode
Enums
- host::elaboration::LeanSeverity
- host::evidence::EvidenceStatus
- host::evidence::LeanKernelOutcome
- host::meta::LeanMetaResponse
- host::meta::LeanMetaTransparency
- host::meta::MetaCallStatus
- host::process::ProcessFileOutcome
- host::process::ProcessModuleOutcome
Traits
Functions
- host::meta::heartbeat_burn
- host::meta::infer_type
- host::meta::is_def_eq
- host::meta::pp_expr
- host::meta::whnf
Constants
- LEAN_DIAGNOSTIC_BYTE_LIMIT_DEFAULT
- LEAN_DIAGNOSTIC_BYTE_LIMIT_MAX
- LEAN_HEARTBEAT_LIMIT_DEFAULT
- LEAN_HEARTBEAT_LIMIT_MAX
- host::elaboration::LEAN_DIAGNOSTIC_BYTE_LIMIT_DEFAULT
- host::elaboration::LEAN_DIAGNOSTIC_BYTE_LIMIT_MAX
- host::elaboration::LEAN_HEARTBEAT_LIMIT_DEFAULT
- host::elaboration::LEAN_HEARTBEAT_LIMIT_MAX
- host::evidence::LEAN_PROOF_SUMMARY_BYTE_LIMIT