assoc-list-not-null -- r7rs Type

§

Super-types

§

• assoc-list;
• list-not-null;

Super-types recursive

§

• list-proper;
• list-not-circular;
• list;

Referent definitions as input

§

• assoc;
• assq;
• assv;

Referent definitions as input (recursive)

§

• map;
• for-each;
• list-ref;
• list-tail;
• list-set!;
• member;
• memq;
• memv;
• list-set-car!;
• list-copy;
• list?;
• append;
• apply;
• proper-or-empty-list?;

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

Categories

§

• types-lists;

Categories recursive

§

• types;