6.12.4 The <type-predicate> object–type

Core Type: <type-predicate>

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

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