proof_of_sql_planner

Function expr_to_proof_expr

Source 
pub fn expr_to_proof_expr(
    expr: &Expr,
    schema: &[(Ident, ColumnType)],
) -> PlannerResult<DynProofExpr>
Expand description

Convert an [datafusion::expr::Expr] to DynProofExpr

ยงPanics

The function should not panic if Proof of SQL is working correctly