scale_cast_binary_op

proof_of_sql::sql

Function scale_cast_binary_op 

Source 
pub fn scale_cast_binary_op(
    left_proof_expr: DynProofExpr,
    right_proof_expr: DynProofExpr,
) -> AnalyzeResult<(DynProofExpr, DynProofExpr)>
Expand description

Scale cast one side so that both sides have the same scale

We use this function so that binary ops for numeric types no longer need to keep track of scale