Module proof_plans

This module proves provable execution plans.

Structs

• EmptyExec
  Source ProofPlan for (sub)queries without table source such as SELECT "No table here" as msg; Inspired by DataFusion EmptyExec

Enums

• DynProofPlan
  The query plan for proving a query