[][src]Module leo_compiler::expression::relational

Methods to enforce constraints on relational expressions in a compiled Leo program.

Re-exports

pub use self::eq::*;
pub use self::ge::*;
pub use self::gt::*;
pub use self::le::*;
pub use self::lt::*;

Modules

eq

Enforces a relational == operator in a resolved Leo program.

ge

Enforces a relational >= operator in a resolved Leo program.

gt

Enforces a relational > operator in a resolved Leo program.

le

Enforces a relational <= operator in a resolved Leo program.

lt

Enforces a relational < operator in a resolved Leo program.