procedure -- r7rs Type

§

Sub-types tree

§

• procedure-0;
• procedure-1:
  • exception-handler;
• procedure-2;
• procedure-3;
• procedure-4;
• procedure-4+;
• map-procedure;
• for-each-procedure;

Super-types

§

• (none);

Sub-types

§

• procedure-0;
• procedure-1;
• procedure-2;
• procedure-3;
• procedure-4;
• procedure-4+;
• map-procedure;
• for-each-procedure;

Sub-types recursive

§

• exception-handler;

Referent definitions as input

§

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

Predicate

§

procedure?

Categories

§

• types-disjoint;

Categories recursive

§

• types;