Version: 0.0.7 (stable)
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)]