list-dotted -- r7rs Type

§

Super-types

§

• list-not-circular;

Super-types recursive

§

• list;

Sub-types

§

• list-dotted-not-null;

Referent definitions as input

§

• list?;
• proper-or-empty-list?;

Referent definitions as input (recursive)

§

• map;
• for-each;
• list-copy;

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

Referent definitions as output

§

• append;

Categories

§

• types-lists;

Categories recursive

§

• types;