Type Alias LeanResult 

pub type LeanResult<T> = Result<T, LeanError>;

Result alias used by every fallible public API in lean-rs.

Aliased Type

pub enum LeanResult<T> {
    Ok(T),
    Err(LeanError),
}

Variants

Ok(T)

Contains the success value

Err(LeanError)

Contains the error value