proof_of_sql/sql/logical_plans/
mod.rs

1//! This module contains the logical plan representation used in both proof generation and postprocessing.
2mod error;
3pub use error::LogicalPlanError;
4mod expr;
5pub use expr::{BinaryOperator, Expr};
6mod plan;
7pub use plan::LogicalPlan;
8mod ast_to_plan;