在设置了nix语言后，`？是什么意思？

Question

最后一行的?是什么意思，为什么它的值为true？

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

我也尝试过

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

也计算为true，但是

! {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表示的属性；返回   对还是错。