Struct LeanWorkerRuntimeMetadata 

pub struct LeanWorkerRuntimeMetadata {
    pub worker_version: String,
    pub protocol_version: u16,
    pub lean_version: Option<String>,
}

Protocol/runtime facts reported by the worker child during handshake.

These facts describe the lean-rs-worker process and framing contract. They are separate from downstream capability metadata returned by LeanWorkerSession::capability_metadata.

Fields

worker_version: String

protocol_version: u16

lean_version: Option<String>

Trait Implementations

impl Clone for LeanWorkerRuntimeMetadata

fn clone(&self) -> LeanWorkerRuntimeMetadata

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanWorkerRuntimeMetadata

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

Formats the value using the given formatter.

impl PartialEq for LeanWorkerRuntimeMetadata

fn eq(&self, other: &LeanWorkerRuntimeMetadata) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LeanWorkerRuntimeMetadata

impl StructuralPartialEq for LeanWorkerRuntimeMetadata