This section describes the directory lib_equality in which various definitions of equality are kept.