Class Ge

examples/06_effectful_verifier/python/refine.py:41–48

Refinement: value >= n.

class Ge:
    """Refinement: value >= n."""

    def __init__(self, n: int):
        self.n = n

    def __repr__(self):
        return f"Ge({self.n})"


# ---------------------------------------------------------------------------