Enum BodyItem

pub enum BodyItem<'a, 'f> {
    Assert(Spanned<'f, Expr<'a, 'f>>),
    Equation(Vec<Spanned<'f, LeftItem<'a, 'f>>>, Spanned<'f, Expr<'a, 'f>>),
}

An item in the body of a node

Variants

Assert(Spanned<'f, Expr<'a, 'f>>)

An assertion

Equation(Vec<Spanned<'f, LeftItem<'a, 'f>>>, Spanned<'f, Expr<'a, 'f>>)

An equation

Trait Implementations

impl<'a, 'f> Debug for BodyItem<'a, 'f>

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

Formats the value using the given formatter.