Version: latest
agrag.evidence.contract.ExploreBound
ExploreBound = Annotated[int, Field(ge=1, le=MAX_EXPLORE_BOUND)]
agrag.evidence.contract.ExploreBoundExploreBound = Annotated[int, Field(ge=1, le=MAX_EXPLORE_BOUND)]