Enum Expr 

pub enum Expr {
    IntLit(i64),
    BoolLit(bool),
    StringLit(String),
    Ident(String),
    Prime(Box<Spanned<Expr>>),
    FieldAccess(Box<Spanned<Expr>>, String),
    Index(Box<Spanned<Expr>>, Box<Spanned<Expr>>),
    BinOp(Box<Spanned<Expr>>, BinOp, Box<Spanned<Expr>>),
    UnaryOp(UnaryOp, Box<Spanned<Expr>>),
    IfThenElse(Box<Spanned<Expr>>, Box<Spanned<Expr>>, Box<Spanned<Expr>>),
    Forall(Vec<TypedVar>, Box<Spanned<Expr>>),
    Exists(Vec<TypedVar>, Box<Spanned<Expr>>),
    Call(String, Vec<Spanned<Expr>>),
    Paren(Box<Spanned<Expr>>),
}

Variants

IntLit(i64)

BoolLit(bool)

StringLit(String)

Ident(String)

Prime(Box<Spanned<Expr>>)

x' or after(x) — post-execution value

FieldAccess(Box<Spanned<Expr>>, String)

expr.field

Index(Box<Spanned<Expr>>, Box<Spanned<Expr>>)

expr[index]

BinOp(Box<Spanned<Expr>>, BinOp, Box<Spanned<Expr>>)

UnaryOp(UnaryOp, Box<Spanned<Expr>>)

IfThenElse(Box<Spanned<Expr>>, Box<Spanned<Expr>>, Box<Spanned<Expr>>)

if cond then a else b

Forall(Vec<TypedVar>, Box<Spanned<Expr>>)

forall vars, body

Exists(Vec<TypedVar>, Box<Spanned<Expr>>)

exists vars, body

Call(String, Vec<Spanned<Expr>>)

name(args)

Paren(Box<Spanned<Expr>>)

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.