Function _wrap

examples/06_effectful_verifier/python/refine.py:89–93

(x)

    int_ops = defdata.dispatch(int)

    def _wrap(x):
        s = str(x) if isinstance(x, int) else x
        if isinstance(x, int) and x < 0:
            return f"({s})"
        return s

    str_handler = {}
    for name in var_names: