Expand description
This module proves provable expressions.
Structs§
- Aliased
DynProof Expr - A
DynProofExprwith an alias. - Column
Expr - Provable expression for a column
- Table
Expr - Expression for an SQL table
Enums§
- DynProof
Expr - Enum of AST column expression types that implement
ProofExpr. Is itself aProofExpr.
Traits§
- Proof
Expr - Provable AST column expression that evaluates to a
Column