base.HasIdentity

mut .idEq(other: readH base.HasIdentity): imm base.Bool -> …,
mut .idEq(other: readH base.HasIdentity): imm base.Bool -> …,