Enum tract_core::analyser::rules::expr::Wrapped

pub enum Wrapped {
    Int(IntFact),
    Type(TypeFact),
    Shape(ShapeFact),
    Tensor(ValueFact),
    Dim(DimFact),
}

A wrapper for all the types of values that expressions can produce.

Variants

Int(IntFact)Type(TypeFact)Shape(ShapeFact)Tensor(ValueFact)Dim(DimFact)

Trait Implementations

impl Clone for Wrapped

fn clone(&self) -> Wrapped

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Wrapped

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

Formats the value using the given formatter.