The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.