Struct MetaSpec 

pub struct MetaSpec {
    pub is_simplify: bool,
    pub alt_form: bool,
}

Describes metadata about a rule.

Fields

is_simplify: bool

alt_form: bool

Indicates that the rule describes an equivalence that isn’t necessarily a simplification, but might be a relevant form for algebraic transformations.

Trait Implementations

impl Clone for MetaSpec

fn clone(&self) -> MetaSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MetaSpec

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

Formats the value using the given formatter.

impl Default for MetaSpec

fn default() -> MetaSpec

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for MetaSpec

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for MetaSpec

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

impl StructuralPartialEq for MetaSpec