proof_of_sql_planner

Function sql_to_proof_plans

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

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

See sql_to_posql_plans for more details