Module mikino_api::expr

Expand description

Defines the expression structure used to represent predicates.

Re-exports

pub use crate::build_expr as build;

pub use crate::build_typ;

A meta-variable.

Represents the negation of a borrowed expression.

A stateful variable.

A stateless variable.

Constants.

Operators.

The polymorphic expression structure.

Operator precedence.

A type.

Trait implemented by all variables.

A simple (stateless) expression.

A meta-expression.

A stateful expression.