Is true iff K is an address, in which case holes/tombstones are represented by a specific value holeKeyConstant.
See Source File
Is true iff K is an address, in which case holes/tombstones are represented by a specific value holeKeyConstant.