| domain-name | foreign-table | domain-integrity-rule | type-id | type-param |
|---|---|---|---|---|
| atom | atom | expression | type | expression |
| type | ||||
| atom | atom | expression | symbol | expression |
| c-libraries | c-libraries | symbol | ||
| platform | platform | symbol | 1 | |
| processor-family | processor-family | atom | 1 | |
| build-whats | build-whats | symbol | ||
| features | features | symbol | ||
| filename | string | |||
| optstring | (lambda (x) (or (not x) (string? x))) | string | ||
| file-categories | file-categories | symbol | 1 | |
| file-formats | file-formats | symbol | 1 | |
| operating-system | operating-system | symbol | ||
| batch-dialect | batch-dialect | atom | 1 | |
| table | *catalog-data* | atom | 1 | |
| parameter-arity | parameter-arity | symbol | 1 | |
| parameter-name-translation | *catalog-data* | symbol | 1 | |
| parameter-list | *catalog-data* | symbol | 1 | |
| domain | *domains-data* | atom | ||
| string | string? | string | ||
| symbol | symbol? | symbol | ||
| boolean | boolean? | boolean | ||
| expression | expression | |||
| number | number? | number | ||
| uint |
(lambda (x)
(and (number? x)
(integer? x)
(not (negative? x))))
|
number | ||
| base-id | (lambda (x) (or (symbol? x) (number? x))) | base-id | ||
| type | type | symbol | ||
| atom | (lambda (x) (or (not x) (symbol? x) (number? x))) | atom |