6.12.7 The <equality-predicate> object–type

Core Type: <equality-predicate>

Type of procedures acting as equality predicates. The definition of this type is equivalent to:

(define-type <equality-predicate>
  (lambda (_ _) => (<boolean>)))