6.12.1 The <procedure> object–type

Core Type: <procedure>

Parent Type: <top>

Type of closure object values. There is no constructor.

Type predicate on <procedure>: <boolean> type-predicate obj

The type predicate is procedure?. Return #t if obj is a closure object; otherwise return #f.