Enum MatchStrategy 

pub enum MatchStrategy {
    NameMatch,
    ModuleMatch,
    SignatureMatch,
}

How a match was produced.

Variants

NameMatch

Function name matches equation name

ModuleMatch

Module path implies contract domain

SignatureMatch

Function signature implies kernel contract

Trait Implementations

impl Clone for MatchStrategy

fn clone(&self) -> MatchStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MatchStrategy

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

Formats the value using the given formatter.

impl Display for MatchStrategy

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

Formats the value using the given formatter.

impl Copy for MatchStrategy