Enum LcnfArg 

pub enum LcnfArg {
    Var(LcnfVarId),
    Lit(LcnfLit),
    Erased,
    Type(LcnfType),
}

An argument to a function call or constructor in LCNF.

In ANF, arguments must be “atomic” — either variables or literals.

Variants

Var(LcnfVarId)

A variable reference.

Lit(LcnfLit)

A literal value.

Erased

An erased argument (placeholder for proof terms).

Type(LcnfType)

A type argument (may be erased depending on config).

Trait Implementations

impl Clone for LcnfArg

fn clone(&self) -> LcnfArg

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LcnfArg

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

Formats the value using the given formatter.

impl Display for LcnfArg

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

Formats the value using the given formatter.

impl Hash for LcnfArg

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 LcnfArg

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

impl StructuralPartialEq for LcnfArg