6.12.3 The <parameter-procedure> object–type

Core Type: <parameter-procedure>

Type of parameter procedures returned by make-parameter. The definition of this type is equivalent to:

(define-type <parameter-procedure>
  (case-lambda
    (()			=> (<top>))
    ((<top>)		=> ())
    ((<top> <boolean>)	=> ())))