null -- r7rs Type

§

Super-types

§

• (none);

Referent definitions as input

§

• pair?;
• null?;
• list?;
• length;
• list-copy;
• reverse;
• member;
• memq;
• memv;
• assoc;
• assq;
• assv;
• list->vector;
• list->string;
• proper-or-empty-list?;

Referent definitions as output

§

• list;
• make-list;
• append;
• list-copy;
• reverse;
• vector->list;
• string->list;

Predicate

§

null?

Categories

§

• types-disjoint;
• types-lists;
• types-constants;

Categories recursive

§

• types;