proof_of_sql::sql

Module logical_plans

Source
Expand description

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

Enumsยง

Expr
Enum of column expressions that are either provable or supported in postprocessing
LogicalPlanError
Errors encountered during the process of converting sqlparser::ast::Statement to LogicalPlan