Enum fungi_lang::decide::apart::IdxTmRule

pub enum IdxTmRule {
    Struct(IdxTmSide, IdxTmSide),
}

Index term apartness rule

Variants

Struct(IdxTmSide, IdxTmSide)

Use structural reasoning

Trait Implementations

impl Clone for IdxTmRule

fn clone(&self) -> IdxTmRule

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IdxTmRule

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for IdxTmRule

impl PartialEq for IdxTmRule

fn eq(&self, __arg_0: &IdxTmRule) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &IdxTmRule) -> bool

This method tests for !=.

impl Hash for IdxTmRule

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

Feeds this value into the given [Hasher].

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

Feeds a slice of this type into the given [Hasher].

impl HasClas for IdxTmRule

type Clas = Sort

fn tm_fam() -> String