Doc needs help
It is not clear what "attaching packs" means and who/what performs that operation.
It does not mean "loading the packs" so that the predicates become available. Because predicates from a pack only become available once one issues a use_module/2 command.
Are these predicates purely internal?