proof_of_sql::sql

Module proof_exprs

Source
Expand description

This module proves provable expressions.

Enumsยง

DynProofExpr
Enum of AST column expression types that implement ProofExpr. Is itself a ProofExpr.