Any example of how to use the `lib` module?

As described here, how can I reference the functions, constants, etc, in another config file? The lib argument don’t contains those attributes defined in a seperate file (has been imported in the toplevel config file)

sorry, I am having a hard time understanding what you want to do. Do you mind explaining and maybe showing an example of what you are trying to do?

The lib referenced here is a collection of pure utility functions defined in the nixpkgs/lib folder. You can find all the named in that file and follow around to see their definitions. Usually they have a small documentation with example attached as a comment on top.

I believe this is about the lib option.

You can see an example of it in <nixpkgs/nixos/modules/system/boot/kernel.nix>.