Module logical_plans

This module contains the logical plan representation used in both proof generation and postprocessing.

Enums

BinaryOperator

Enum of binary operators we support

Expr

Enum of column expressions that are either provable or supported in postprocessing

LogicalPlan

Enum of logical plans that are either provable or supported in postprocessing

LogicalPlanError

Errors encountered during the process of converting sqlparser::ast::Statement to LogicalPlan