procedure-1 -- r7rs Type

§

Super-types

§

• procedure;

Sub-types

§

• exception-handler;

Referent definitions as input

§

• call-with-port;
• call-with-input-file;
• call-with-output-file;
• make-parameter;
• call-with-current-continuation;

Referent definitions as input (recursive)

§

• procedure?;
• apply;
• call-with-values;

Note: These definitions consume an input that is a super-type.

Categories

§

• types-miscellaneous;

Categories recursive

§

• types;