NewLeaseTransferRejectedBecauseTargetMayNeedSnapshotError return an error indicating that a lease transfer failed because the current leaseholder could not prove that the lease transfer target did not need a Raft snapshot.

RunEachLeaseType calls f in a subtest for each lease type.

Status returns a lease status.

Verify performs safety checks on lease acquisition / transfer requests.

VerifyAndBuild checks the safety of a lease acquisition or transfer request.

ErrMarkLeaseTransferRejectedBecauseTargetMayNeedSnapshot indicates that the lease transfer failed because the current leaseholder could not prove that the lease transfer target did not need a Raft snapshot.

BuildInput is the set of input parameters for the lease acquisition process.

NodeLivenessManipulation contains a set of instructions for manipulating node liveness records during the lease acquisition process.

Output is the set of outputs for the lease acquisition process.

PrevLeaseManipulation contains a set of instructions for manipulating the previous lease.

Settings is the set of settings for the leasing subsystem, used when building a new lease object.

StatusInput is the input to the Status function.

VerifyInput is the set of input parameters for lease acquisition or transfer safety verification.

NodeLiveness is a read-only interface to the node liveness subsystem.