Module parse

This module contains conversion of intermediate AST to provable AST and a non-provable component if necessary.

Structs

QueryExpr

A QueryExpr represents a Proof of SQL query that can be executed against a database. It consists of a DynProofPlan for provable components and a vector of OwnedTablePostprocessing for the rest.

Enums

ConversionError

Errors from converting an intermediate AST into a provable AST.