proof_of_sql_planner

Function sql_to_proof_plans_with_postprocessing

Source 
pub fn sql_to_proof_plans_with_postprocessing<A: SchemaAccessor + Clone>(
    statements: &[Statement],
    schemas: &A,
    config: &ConfigOptions,
) -> PlannerResult<Vec<ProofPlanWithPostprocessing>>
Expand description

Convert a SQL query to a ProofPlanWithPostprocessing using schema from provided tables

See sql_to_posql_plans for more details