This is the narrowed-types Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Tue Jul 15 06:04:04 2025 GMT+0.
The main system appears first, followed by any subsystem dependency.
narrowed-typesType definitions narrowed with predicates
JP Cimalando
BSD
0.1
narrowed-types.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
narrowed-types/narrowed-types.asdnarrowed-types (system).
narrowed-types/narrowed-types.lispnarrowed-types (system).
deftype-narrowed (macro).
Packages are listed by definition order.
Definitions are sorted by export status, category, package, and then by lexicographic order.
DEFTYPE-NARROWED defines a type with name TYPE as well as a matching predicate TYPE-p. The instances of the resulting type are the subset of instances of SUPER-TYPE which satisfy a condition on VAR expressed by the BODY of the statement.
| Jump to: | D M |
|---|
| Index Entry | Section | ||
|---|---|---|---|
| | |||
| D | |||
deftype-narrowed: | Public macros | ||
| | |||
| M | |||
Macro, deftype-narrowed: | Public macros | ||
| | |||
| Jump to: | D M |
|---|
| Jump to: | F N P S |
|---|
| Jump to: | F N P S |
|---|