Struct tagua_parser::ast::Addition

pub struct Addition {
    pub a: Term,
    pub b: Term,
}

An addition of two terms.

Fields

a: Term

The left-hand side of the addition.

b: Term

The right-hand side of the addition.

Trait Implementations

impl Debug for Addition

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

Formats the value using the given formatter.

impl PartialEq for Addition

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

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

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

This method tests for !=.