liveness property

AllocationLiveness liveness
final

The pgid-alive half of no-adopt-on-faith for LeaseCapability.proveFresh.

Implementation

final AllocationLiveness liveness;