Type Alias Expr

pub type Expr = Expr<Pred>;

Aliased Type

pub enum Expr {
    Any(Any<Pred>),
    All(All<Pred>),
    Not(Not<Pred>),
    Var(Var<Pred>),
    Const(bool),
}

Variants

Any(Any<Pred>)

All(All<Pred>)

Not(Not<Pred>)

Var(Var<Pred>)

Const(bool)

Trait Implementations

impl From<Pred> for Expr

fn from(x: Pred) -> Self

Converts to this type from the input type.