Module proof_of_sql::sql::parse

source ·
Expand description

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 ProofPlan for provable components and a ResultExpr for the rest.

Enums§

  • ConversionError
    Errors from converting an intermediate AST into a provable AST.