Enum Exp 

pub enum Exp<T> {
    Empty(T),
    Id(String, T),
    Let(String, Box<Exp<T>>, Box<Exp<T>>, T),
    TryWith(Box<Exp<T>>, Box<Exp<T>>, T),
    Union(Box<Exp<T>>, Box<Exp<T>>, T),
    Inter(Box<Exp<T>>, Box<Exp<T>>, T),
    Diff(Box<Exp<T>>, Box<Exp<T>>, T),
    Seq(Box<Exp<T>>, Box<Exp<T>>),
    Cartesian(Box<Exp<T>>, Box<Exp<T>>),
    Compl(Box<Exp<T>>, T),
    Identity(Box<Exp<T>>),
    IdentityUnion(Box<Exp<T>>),
    Inverse(Box<Exp<T>>),
    App(String, Box<Exp<T>>, T),
}

Variants

Empty(T)

Id(String, T)

Let(String, Box<Exp<T>>, Box<Exp<T>>, T)

TryWith(Box<Exp<T>>, Box<Exp<T>>, T)

Union(Box<Exp<T>>, Box<Exp<T>>, T)

Set or relation union R | S

Inter(Box<Exp<T>>, Box<Exp<T>>, T)

Set or relation intersection R & S

Diff(Box<Exp<T>>, Box<Exp<T>>, T)

Set or relation difference R \ S

Seq(Box<Exp<T>>, Box<Exp<T>>)

Relation composition R; S

Cartesian(Box<Exp<T>>, Box<Exp<T>>)

Cartesian product of sets R * S

Compl(Box<Exp<T>>, T)

Set or relation complement ~R

Identity(Box<Exp<T>>)

[R] Lift a set to the identity relation over its elements

IdentityUnion(Box<Exp<T>>)

R? intersect a relation R with the identity relation

Inverse(Box<Exp<T>>)

Inverse of a relation R^-1

App(String, Box<Exp<T>>, T)

Function application f(x)

Trait Implementations

impl<T: Debug> Debug for Exp<T>

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

Formats the value using the given formatter.