Enum Hint 

pub enum Hint {
    Opaque,
    Abbrev,
    Regular(u32),
}

Variants

Opaque

Abbrev

Regular(u32)

Implementations

impl Hint

pub fn lt(self, other: Hint) -> bool

Lean’s ReducibilityHints.lt': a unfolds after b.

Trait Implementations

impl Clone for Hint

fn clone(&self) -> Hint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Hint

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

Formats the value using the given formatter.

impl PartialEq for Hint

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

impl Eq for Hint

impl StructuralPartialEq for Hint