Struct SupportedToolchain 

pub struct SupportedToolchain {
    pub versions: &'static [&'static str],
    pub header_digest: &'static str,
    pub missing_symbols: &'static [&'static str],
}

One ABI-equivalence class in the supported toolchain window.

Fields

versions: &'static [&'static str]

LEAN_VERSION_STRING values that ship this exact header. Releases with byte-identical lean.h share one entry.

header_digest: &'static str

SHA-256 of include/lean/lean.h, lowercase hex.

missing_symbols: &'static [&'static str]

Entries of crate::REQUIRED_SYMBOLS that are absent from this toolchain. Empty when the full surface is available.

Implementations

impl SupportedToolchain

pub fn includes(&self, version: &str) -> bool

Return true iff version (the LEAN_VERSION_STRING) is one of this entry’s grouped releases.

Trait Implementations

impl Clone for SupportedToolchain

fn clone(&self) -> SupportedToolchain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SupportedToolchain

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

Formats the value using the given formatter.

impl PartialEq for SupportedToolchain

fn eq(&self, other: &SupportedToolchain) -> 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 Copy for SupportedToolchain

impl Eq for SupportedToolchain

impl StructuralPartialEq for SupportedToolchain