`?` 在 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表示的属性；返回 真假。