Skip to main content
Version: 0.0.7 (stable)

agrag.evidence.contract.ExploreDepth

ExploreDepth = Annotated[int, Field(ge=1, le=MAX_DEPTH)]