Function expr_to_proof_expr 

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

Convert a DataFusion Expr into a provable DynProofExpr, using schema to resolve column references and their types.

Errors

Returns a PlannerError if the expression (or any subexpression) is unsupported, references an unknown column, or cannot be lowered to a DynProofExpr.