Struct ValData

pub struct ValData {
    pub kind: VarRec,
    pub def: GI,
    pub args: Vec<Term>,
}

Fields

kind: VarRec

def: GI

args: Vec<Term>

Implementations

impl ValData

pub fn new(kind: VarRec, def: GI, args: Vec<Term>) -> Self

Trait Implementations

impl Clone for ValData

fn clone(&self) -> ValData

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValData

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

Formats the value using the given formatter.

impl Display for ValData

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

Formats the value using the given formatter.

impl HasMeta for ValData

fn inline_meta(self, tcs: TCS) -> TCMS<Self>

Inline solved metas inside self.

impl PartialEq for ValData

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

fn reduce_dbi(self, subst: Rc<Subst>) -> Self

Apply a substitution to a redex.

impl Unify for ValData

fn unify(tcs: TCS, left: &Self, right: &Self) -> TCM

Conversion check, maybe can solve metas.

impl Eq for ValData

impl StructuralPartialEq for ValData