path: root/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-attrnames.nix

[
  (builtins.attrNames {})
  (builtins.attrNames { foo = 1; bar = 2; baz = 3; })
  (builtins.attrNames { Foo = 1; bar = 2; Baz = 3; })
  (builtins.attrNames {
    "Graham Chapman" = true;
    "John Cleese" = true;
    "Terry Gilliam" = true;
    "Eric Idle" = true;
    "Terry Jones" = true;
    "Michael Palin" = true;
  })
]