6.12.9 The <hash-function> object–type

Core Type: <hash-function>

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

(define-type <hash-function>
  (lambda (_) => (<non-negative-fixnum>)))