Function mk_binop

examples/05_knuckledragger/python/main.py:47–51

(op_name: str, a, b)

        )

    def mk_binop(op_name: str, a, b):
        op = mk_const(op_name)
        for _ in range(4):
            op = Expr.app(op, mk_const("inst"))
        return Expr.app(Expr.app(op, a), b)

    def mk_eq(lhs, rhs):
        return Expr.app(