proof_of_sql_planner

Function logical_plan_to_proof_plan_with_postprocessing

Source 
pub fn logical_plan_to_proof_plan_with_postprocessing(
    plan: &LogicalPlan,
    schemas: &impl SchemaAccessor,
) -> PlannerResult<ProofPlanWithPostprocessing>
Expand description

Visit a [datafusion::logical_plan::LogicalPlan] and return a DynProofPlan with optional postprocessing