Next: , Previous: , Up: built-in procedures   [Contents][Index]


6.12.8 The <comparison-procedure> object–type

Core Type: <comparison-procedure>

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

(define-type <comparison-procedure>
  (lambda (_ _) => (<fixnum>)))