Enum BoolExpr 

pub enum BoolExpr {
    Var(u8),
    Const(bool),
    And(Box<BoolExpr>, Box<BoolExpr>),
    Or(Box<BoolExpr>, Box<BoolExpr>),
    Not(Box<BoolExpr>),
}

A tiny boolean expression language evaluated through kernel normalization (Match-defined connectives over the prelude’s Bool).

Variants

Var(u8)

Const(bool)

And(Box<BoolExpr>, Box<BoolExpr>)

Or(Box<BoolExpr>, Box<BoolExpr>)

Not(Box<BoolExpr>)

Trait Implementations

impl Clone for BoolExpr

fn clone(&self) -> BoolExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoolExpr

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

Formats the value using the given formatter.