proof_of_sql_planner

Function logical_plan_to_proof_plan

Source 
pub fn logical_plan_to_proof_plan(
    plan: &LogicalPlan,
    schema_accessor: &impl SchemaAccessor,
) -> PlannerResult<DynProofPlan>
Expand description

Visit a [datafusion::logical_plan::LogicalPlan] and return a DynProofPlan