procedure-0 -- r7rs Type

§

Super-types

§

• procedure;

Referent definitions as input

§

• apply;
• with-exception-handler;
• with-input-from-file;
• with-output-to-file;
• dynamic-wind;

Referent definitions as input (recursive)

§

• procedure?;
• call-with-values;

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

Categories

§

• types-miscellaneous;

Categories recursive

§

• types;