Что означает `?` После набора на языке nix?

Question

Что означает ? в последней строке и почему это оценивается как true?

let
  attr = {a="a"; b = 1; c = true;};
in
  ex7 = ! attr ? a == false;

Я тоже пробовал

{a="a"; b = 1; c = true;} ? false

также оценивается как истина, но

! {a="a"; b = 1; c = true;} ? a==true

! {a="a"; b = 1; c = true;} ? a==1

оба оценивают как ложные.

Answer 1

Я нашел это в руководстве к языку nix https://nixos.org/nix/manual/#sec-language-operators.

Проверить, содержит ли множество e атрибут, обозначенный как attrpath; вернуть правда или ложь.