Struct LawKey 

pub struct LawKey {
    pub fn_key: FnKey,
    pub law_name: String,
}

Canonical identity for a verify-law theorem. Targets a fn by FnKey; the law_name is local to that fn (Aver’s verify <fn> law <law_name> syntax — names only collide within one fn’s verify block).

Fields

fn_key: FnKey

law_name: String

Implementations

impl LawKey

pub fn new(fn_key: FnKey, law_name: impl Into<String>) -> Self

Trait Implementations

impl Clone for LawKey

fn clone(&self) -> LawKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LawKey

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

Formats the value using the given formatter.

impl Eq for LawKey

impl Hash for LawKey

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for LawKey

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LawKey