resolve_uint_expr

Function resolve_uint_expr 

Source
pub fn resolve_uint_expr(
    deps: Deps<'_>,
    env: Env,
    expr: GenExpr<NumValue<Uint256, NumExprOp, IntFnOp>, NumOp>,
    vars: &Vec<Variable>,
) -> Result<bool, ContractError>