The ctype Reference Manual

This is the ctype Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Jan 15 05:52:14 2023 GMT+0.

Table of Contents


1 Introduction


2 Systems

The main system appears first, followed by any subsystem dependency.


2.1 ctype

An implementation of the Common Lisp type system.

Author

Bike <>

License

BSD

Source

ctype.asd.

Child Components

3 Modules

Modules are listed depth-first from the system components tree.


3.1 ctype/config

Source

ctype.asd.

Parent Component

ctype (system).

Child Components

4 Files

Files are sorted by type and then listed depth-first from the systems components trees.


4.1 Lisp


4.1.1 ctype/ctype.asd

Source

ctype.asd.

Parent Component

ctype (system).

ASDF Systems

ctype.


4.1.2 ctype/packages.lisp

Source

ctype.asd.

Parent Component

ctype (system).

Packages

ctype.


4.1.3 ctype/trivalent.lisp

Dependency

packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.4 ctype/method-combination.lisp

Dependency

packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

basic (method combination).


4.1.5 ctype/config/common.lisp

Source

ctype.asd.

Parent Component

config (module).

Internals

4.1.6 ctype/config/clasp.lisp

If Feature

:clasp

Dependency

common.lisp (file).

Source

ctype.asd.

Parent Component

config (module).


4.1.7 ctype/config/sbcl.lisp

If Feature

:sbcl

Dependencies
Source

ctype.asd.

Parent Component

config (module).

Internals

4.1.8 ctype/config/ccl.lisp

If Feature

:ccl

Dependencies
Source

ctype.asd.

Parent Component

config (module).


4.1.9 ctype/config/cmucl.lisp

If Feature

:cmucl

Dependencies
Source

ctype.asd.

Parent Component

config (module).


4.1.10 ctype/config/sicl.lisp

If Feature

:sicl

Dependencies
Source

ctype.asd.

Parent Component

config (module).


4.1.11 ctype/config/ecl.lisp

If Feature

:ecl

Dependencies
Source

ctype.asd.

Parent Component

config (module).


4.1.12 ctype/config/unsupported.lisp

If Feature

(:not (:or :clasp :sbcl :ccl :cmucl :sicl :ecl))

Dependencies
Source

ctype.asd.

Parent Component

config (module).


4.1.13 ctype/config/common-post.lisp

Dependencies
Source

ctype.asd.

Parent Component

config (module).

Internals

4.1.14 ctype/classes.lisp

Dependency

packages.lisp (file).

Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

junction (class).


4.1.15 ctype/create.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

4.1.16 ctype/generic-functions.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.17 ctype/cclass.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

*disjoint-classes* (special variable).


4.1.18 ctype/negation.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.19 ctype/conjunction.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

disjoin-conjunction (function).


4.1.20 ctype/disjunction.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

conjoin-disjunction (function).


4.1.21 ctype/ccons.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.22 ctype/range.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

ranges-disjoint-p (function).


4.1.23 ctype/fpzero.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.24 ctype/ccomplex.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.25 ctype/cmember.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

4.1.26 ctype/carray.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

unparse-vector-simple (function).


4.1.27 ctype/charset.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

4.1.28 ctype/cvalues.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.29 ctype/cfunction.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

4.1.30 ctype/csatisfies.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface

4.1.31 ctype/pairwise.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

4.1.32 ctype/parse.lisp

Dependencies
Source

ctype.asd.

Parent Component

ctype (system).

Public Interface
Internals

5 Packages

Packages are listed by definition order.


5.1 ctype

Source

packages.lisp.

Use List

common-lisp.

Public Interface
Internals

6 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


6.1 Public Interface


6.1.1 Macros

Macro: and/tri (&rest forms)
Package

ctype.

Source

trivalent.lisp.

Macro: or/tri (&rest forms)
Package

ctype.

Source

trivalent.lisp.

Macro: surely (&rest forms)
Package

ctype.

Source

trivalent.lisp.


6.1.2 Compiler macros

Compiler Macro: every/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Compiler Macro: notany/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Compiler Macro: notevery/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Compiler Macro: some/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.


6.1.3 Ordinary functions

Function: bot ()
Package

ctype.

Source

create.lisp.

Function: bot-p (ctype)
Package

ctype.

Source

create.lisp.

Function: carray (simplicity uaet eaet dims)
Package

ctype.

Source

create.lisp.

Function: cclass (class)
Package

ctype.

Source

create.lisp.

Function: ccomplex (ucpt)
Package

ctype.

Source

create.lisp.

Function: ccons (car cdr)
Package

ctype.

Source

create.lisp.

Function: cfunction (lambda-list returns)
Package

ctype.

Source

create.lisp.

Function: charset (pairs)
Package

ctype.

Source

create.lisp.

Function: cmember (&rest members)
Package

ctype.

Source

create.lisp.

Function: conjoin (&rest ctypes)
Package

ctype.

Source

generic-functions.lisp.

Function: conjunction (&rest ctypes)
Package

ctype.

Source

create.lisp.

Function: csatisfies (fname)
Package

ctype.

Source

create.lisp.

Function: cvalues (required optional rest)
Package

ctype.

Source

create.lisp.

Function: disjoin (&rest ctypes)
Package

ctype.

Source

generic-functions.lisp.

Function: disjunction (&rest ctypes)
Package

ctype.

Source

create.lisp.

Function: every/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Function: fpzero (kind zero)
Package

ctype.

Source

create.lisp.

Function: function-top ()
Package

ctype.

Source

create.lisp.

Function: function-top-p (cfunction)
Package

ctype.

Source

cfunction.lisp.

Function: lambda-list-top ()
Package

ctype.

Source

create.lisp.

Function: negation (ctype)
Package

ctype.

Source

create.lisp.

Function: notany/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Function: notevery/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Function: range (kind low lxp high hxp)
Package

ctype.

Source

create.lisp.

Function: some/tri (predicate sequence &rest sequences)
Package

ctype.

Source

trivalent.lisp.

Function: specifier-ctype (specifier &optional env)
Package

ctype.

Source

parse.lisp.

Function: top ()
Package

ctype.

Source

create.lisp.

Function: top-p (ctype)
Package

ctype.

Source

create.lisp.

Function: values-bot ()
Package

ctype.

Source

create.lisp.

Function: values-bot-p (cvalues)
Package

ctype.

Source

cvalues.lisp.

Function: values-specifier-ctype (specifier &optional env)
Package

ctype.

Source

parse.lisp.

Function: values-top ()
Package

ctype.

Source

create.lisp.

Function: values-top-p (cvalues)
Package

ctype.

Source

cvalues.lisp.


6.1.4 Generic functions

Generic Reader: carray-dims (object)
Package

ctype.

Methods
Reader Method: carray-dims ((carray carray))

automatically generated reader method

Source

classes.lisp.

Target Slot

%dims.

Generic Reader: carray-eaet (object)
Package

ctype.

Methods
Reader Method: carray-eaet ((carray carray))

automatically generated reader method

Source

classes.lisp.

Target Slot

%eaet.

Generic Reader: carray-simplicity (object)
Package

ctype.

Methods
Reader Method: carray-simplicity ((carray carray))

automatically generated reader method

Source

classes.lisp.

Target Slot

%simplicity.

Generic Reader: carray-uaet (object)
Package

ctype.

Methods
Reader Method: carray-uaet ((carray carray))

automatically generated reader method

Source

classes.lisp.

Target Slot

%uaet.

Generic Reader: cclass-class (object)
Package

ctype.

Methods
Reader Method: cclass-class ((cclass cclass))

automatically generated reader method

Source

classes.lisp.

Target Slot

%class.

Generic Reader: ccomplex-ucpt (object)
Package

ctype.

Methods
Reader Method: ccomplex-ucpt ((ccomplex ccomplex))

automatically generated reader method

Source

classes.lisp.

Target Slot

%ucpt.

Generic Reader: ccons-car (object)
Package

ctype.

Methods
Reader Method: ccons-car ((ccons ccons))

automatically generated reader method

Source

classes.lisp.

Target Slot

%car.

Generic Reader: ccons-cdr (object)
Package

ctype.

Methods
Reader Method: ccons-cdr ((ccons ccons))

automatically generated reader method

Source

classes.lisp.

Target Slot

%cdr.

Generic Reader: cfunction-lambda-list (object)
Package

ctype.

Methods
Reader Method: cfunction-lambda-list ((cfunction cfunction))

automatically generated reader method

Source

classes.lisp.

Target Slot

%lambda-list.

Generic Reader: cfunction-returns (object)
Package

ctype.

Methods
Reader Method: cfunction-returns ((cfunction cfunction))

automatically generated reader method

Source

classes.lisp.

Target Slot

%returns.

Generic Reader: charset-pairs (object)
Package

ctype.

Methods
Reader Method: charset-pairs ((charset charset))

automatically generated reader method

Source

classes.lisp.

Target Slot

%pairs.

Generic Reader: cmember-members (object)
Package

ctype.

Methods
Reader Method: cmember-members ((cmember cmember))

automatically generated reader method

Source

classes.lisp.

Target Slot

%members.

Generic Function: cofinitep (ctype)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

ctype:surely

Methods
Method: cofinitep ((ct cfunction))
Source

cfunction.lisp.

Method: cofinitep ((ct charset))
Source

charset.lisp.

Method: cofinitep ((ct carray))
Source

carray.lisp.

Method: cofinitep ((ct cmember))
Source

cmember.lisp.

Method: cofinitep ((ct ccomplex))
Source

ccomplex.lisp.

Method: cofinitep ((ct fpzero))
Source

fpzero.lisp.

Method: cofinitep ((ct range))
Source

range.lisp.

Method: cofinitep ((ct1 ccons))
Source

ccons.lisp.

Method: cofinitep ((ct cclass))
Source

cclass.lisp.

Method: cofinitep ((ct ctype))
Generic Function: conjoin/2 (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

or

Methods
Method: conjoin/2 ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 cfunction) (ct2 cclass))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 cclass) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 carray) (ct2 cclass))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 cclass) (ct2 carray))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: conjoin/2 ((ct1 cfunction) (ct2 cfunction))
Source

cfunction.lisp.

Method: conjoin/2 ((ct1 cvalues) (ct2 cvalues))
Source

cvalues.lisp.

Method: conjoin/2 ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: conjoin/2 ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: conjoin/2 ((ct1 ctype) (ct2 cmember))
Source

cmember.lisp.

Method: conjoin/2 ((ct1 cmember) (ct2 ctype))
Source

cmember.lisp.

Method: conjoin/2 ((ct1 cmember) (ct2 cmember))
Source

cmember.lisp.

Method: conjoin/2 ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: conjoin/2 ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: conjoin/2 ((ct1 range) (ct2 range))
Source

range.lisp.

Method: conjoin/2 ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: conjoin/2 ((ct1 ctype) (ct2 disjunction))
Source

disjunction.lisp.

Method: conjoin/2 ((ct1 disjunction) (ct2 ctype))
Source

disjunction.lisp.

Method: conjoin/2 ((ct1 ctype) (ct2 conjunction))
Source

conjunction.lisp.

Method: conjoin/2 ((ct1 conjunction) (ct2 ctype))
Source

conjunction.lisp.

Method: conjoin/2 ((ct1 conjunction) (ct2 conjunction))
Source

conjunction.lisp.

Method: conjoin/2 ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: conjoin/2 ((ct1 negation) (ct2 ctype))
Source

negation.lisp.

Method: conjoin/2 ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: conjoin/2 ((ct1 cclass) (ct2 cclass))
Source

cclass.lisp.

Method: conjoin/2 ((ct1 ctype) (ct2 ctype))
Generic Function: conjointp (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

ctype:surely

Methods
Method: conjointp ((ct1 cfunction) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 cfunction) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 cfunction))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 charset))
Source

pairwise.lisp.

Method: conjointp ((ct1 carray) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 carray))
Source

pairwise.lisp.

Method: conjointp ((ct1 cmember) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 cmember))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 ccomplex))
Source

pairwise.lisp.

Method: conjointp ((ct1 fpzero) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 fpzero))
Source

pairwise.lisp.

Method: conjointp ((ct1 range) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 range))
Source

pairwise.lisp.

Method: conjointp ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: conjointp ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: conjointp ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: conjointp ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: conjointp ((ct1 cmember) (ct2 cmember))
Source

cmember.lisp.

Method: conjointp ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: conjointp ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: conjointp ((ct1 range) (ct2 range))
Source

range.lisp.

Method: conjointp ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: conjointp ((ct1 ctype) (ct2 disjunction))
Source

disjunction.lisp.

Method: conjointp ((ct1 disjunction) (ct2 ctype))
Source

disjunction.lisp.

Method: conjointp ((ct1 ctype) (ct2 conjunction))
Source

conjunction.lisp.

Method: conjointp ((ct1 conjunction) (ct2 ctype))
Source

conjunction.lisp.

Method: conjointp ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: conjointp ((ct1 negation) (ct2 ctype))
Source

negation.lisp.

Method: conjointp ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: conjointp ((ct1 ctype) (ct2 ctype))
Generic Reader: csatisfies-fname (object)
Package

ctype.

Methods
Reader Method: csatisfies-fname ((csatisfies csatisfies))

automatically generated reader method

Source

classes.lisp.

Target Slot

%fname.

Generic Function: ctype= (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

ctype:surely

Methods
Method: ctype= ((ct1 csatisfies) (ct2 csatisfies))
Source

csatisfies.lisp.

Method: ctype= ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: ctype= ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: ctype= ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: ctype= ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: ctype= ((ct1 range) (ct2 range))
Source

range.lisp.

Method: ctype= ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: ctype= ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: ctype= ((ct1 cclass) (ct2 cclass))
Source

cclass.lisp.

Method: ctype= ((ct1 ctype) (ct2 ctype))
Generic Function: ctypep (object ctype)
Package

ctype.

Source

generic-functions.lisp.

Methods
Method: ctypep (object (ct csatisfies))
Source

csatisfies.lisp.

Method: ctypep (object (ct cfunction))
Source

cfunction.lisp.

Method: ctypep (object (ct cvalues))
Source

cvalues.lisp.

Method: ctypep (object (ct charset))
Source

charset.lisp.

Method: ctypep (object (ct carray))
Source

carray.lisp.

Method: ctypep ((object array) (ct carray))
Source

carray.lisp.

Method: ctypep (object (ct cmember))
Source

cmember.lisp.

Method: ctypep (object (ct ccomplex))
Source

ccomplex.lisp.

Method: ctypep ((object complex) (ct ccomplex))
Source

ccomplex.lisp.

Method: ctypep (object (ctype fpzero))
Source

fpzero.lisp.

Method: ctypep (object (ct range))
Source

range.lisp.

Method: ctypep (object (ct ccons))
Source

ccons.lisp.

Method: ctypep ((object cons) (ct ccons))
Source

ccons.lisp.

Method: ctypep (object (ct disjunction))
Source

disjunction.lisp.

Method: ctypep (object (ct conjunction))
Source

conjunction.lisp.

Method: ctypep (object (ct negation))
Source

negation.lisp.

Method: ctypep (object (ct cclass))
Source

cclass.lisp.

Generic Reader: cvalues-optional (object)
Package

ctype.

Methods
Reader Method: cvalues-optional ((cvalues cvalues))

automatically generated reader method

Source

classes.lisp.

Target Slot

%optional.

Generic Reader: cvalues-required (object)
Package

ctype.

Methods
Reader Method: cvalues-required ((cvalues cvalues))

automatically generated reader method

Source

classes.lisp.

Target Slot

%required.

Generic Reader: cvalues-rest (object)
Package

ctype.

Methods
Reader Method: cvalues-rest ((cvalues cvalues))

automatically generated reader method

Source

classes.lisp.

Target Slot

%rest.

Generic Function: disjoin/2 (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

or

Methods
Method: disjoin/2 ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 disjunction) (ct2 cmember))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 cmember) (ct2 disjunction))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: disjoin/2 ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: disjoin/2 ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: disjoin/2 ((ct1 ctype) (ct2 cmember))
Source

cmember.lisp.

Method: disjoin/2 ((ct1 cmember) (ct2 ctype))
Source

cmember.lisp.

Method: disjoin/2 ((ct1 cmember) (ct2 cmember))
Source

cmember.lisp.

Method: disjoin/2 ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: disjoin/2 ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: disjoin/2 ((ct1 range) (ct2 range))
Source

range.lisp.

Method: disjoin/2 ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: disjoin/2 ((ct1 ctype) (ct2 disjunction))
Source

disjunction.lisp.

Method: disjoin/2 ((ct1 disjunction) (ct2 ctype))
Source

disjunction.lisp.

Method: disjoin/2 ((ct1 disjunction) (ct2 disjunction))
Source

disjunction.lisp.

Method: disjoin/2 ((ct1 ctype) (ct2 conjunction))
Source

conjunction.lisp.

Method: disjoin/2 ((ct1 conjunction) (ct2 ctype))
Source

conjunction.lisp.

Method: disjoin/2 ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: disjoin/2 ((ct1 negation) (ct2 ctype))
Source

negation.lisp.

Method: disjoin/2 ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: disjoin/2 ((ct1 cclass) (ct2 cclass))
Source

cclass.lisp.

Method: disjoin/2 ((ct1 ctype) (ct2 ctype))
Generic Function: disjointp (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

ctype:surely

Methods
Method: disjointp ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 cclass) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 cclass))
Source

pairwise.lisp.

Method: disjointp ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 ccons))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccons) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 cmember) (ct2 fpzero))
Source

pairwise.lisp.

Method: disjointp ((ct1 fpzero) (ct2 cmember))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 cclass))
Source

pairwise.lisp.

Method: disjointp ((ct1 cclass) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 cclass))
Source

pairwise.lisp.

Method: disjointp ((ct1 cclass) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 cclass))
Source

pairwise.lisp.

Method: disjointp ((ct1 cclass) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 cfunction) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 cfunction))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 charset))
Source

pairwise.lisp.

Method: disjointp ((ct1 carray) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 carray))
Source

pairwise.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 range))
Source

pairwise.lisp.

Method: disjointp ((ct1 range) (ct2 ccomplex))
Source

pairwise.lisp.

Method: disjointp ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: disjointp ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: disjointp ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: disjointp ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: disjointp ((ct1 range) (ct2 range))
Source

range.lisp.

Method: disjointp ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: disjointp ((ct1 ctype) (ct2 disjunction))
Source

disjunction.lisp.

Method: disjointp ((ct1 disjunction) (ct2 ctype))
Source

disjunction.lisp.

Method: disjointp ((ct1 ctype) (ct2 conjunction))
Source

conjunction.lisp.

Method: disjointp ((ct1 conjunction) (ct2 ctype))
Source

conjunction.lisp.

Method: disjointp ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: disjointp ((ct1 negation) (ct2 ctype))
Source

negation.lisp.

Method: disjointp ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: disjointp ((ct1 cclass) (ct2 cclass))
Source

cclass.lisp.

Method: disjointp ((ct1 ctype) (ct2 ctype))
Generic Reader: fpzero-kind (object)
Package

ctype.

Methods
Reader Method: fpzero-kind ((fpzero fpzero))

automatically generated reader method

Source

classes.lisp.

Target Slot

%kind.

Generic Reader: fpzero-zero (object)
Package

ctype.

Methods
Reader Method: fpzero-zero ((fpzero fpzero))

automatically generated reader method

Source

classes.lisp.

Target Slot

%zero.

Generic Reader: junction-ctypes (object)
Package

ctype.

Methods
Reader Method: junction-ctypes ((junction junction))

automatically generated reader method

Source

classes.lisp.

Target Slot

%ctypes.

Generic Reader: lambda-list-aokp (object)
Package

ctype.

Methods
Reader Method: lambda-list-aokp ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%aokp.

Generic Reader: lambda-list-key (object)
Package

ctype.

Methods
Reader Method: lambda-list-key ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%keys.

Generic Reader: lambda-list-keyp (object)
Package

ctype.

Methods
Reader Method: lambda-list-keyp ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%keyp.

Generic Reader: lambda-list-optional (object)
Package

ctype.

Methods
Reader Method: lambda-list-optional ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%optional.

Generic Reader: lambda-list-required (object)
Package

ctype.

Methods
Reader Method: lambda-list-required ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%required.

Generic Reader: lambda-list-rest (object)
Package

ctype.

Methods
Reader Method: lambda-list-rest ((lambda-list lambda-list))

automatically generated reader method

Source

classes.lisp.

Target Slot

%rest.

Generic Function: negate (ctype)
Package

ctype.

Source

generic-functions.lisp.

Methods
Method: negate ((ct charset))
Source

charset.lisp.

Method: negate ((ct range))
Source

range.lisp.

Method: negate ((ctype ccons))
Source

ccons.lisp.

Method: negate ((ctype disjunction))
Source

disjunction.lisp.

Method: negate ((ctype conjunction))
Source

conjunction.lisp.

Method: negate ((ctype negation))
Source

negation.lisp.

Method: negate ((ctype ctype))
Generic Reader: negation-ctype (object)
Package

ctype.

Methods
Reader Method: negation-ctype ((negation negation))

automatically generated reader method

Source

classes.lisp.

Target Slot

%ctype.

Generic Reader: range-high (object)
Package

ctype.

Methods
Reader Method: range-high ((range range))

automatically generated reader method

Source

classes.lisp.

Target Slot

%high.

Generic Reader: range-high-exclusive-p (object)
Package

ctype.

Methods
Reader Method: range-high-exclusive-p ((range range))

automatically generated reader method

Source

classes.lisp.

Target Slot

%high-xp.

Generic Reader: range-kind (object)
Package

ctype.

Methods
Reader Method: range-kind ((range range))

automatically generated reader method

Source

classes.lisp.

Target Slot

%kind.

Generic Reader: range-low (object)
Package

ctype.

Methods
Reader Method: range-low ((range range))

automatically generated reader method

Source

classes.lisp.

Target Slot

%low.

Generic Reader: range-low-exclusive-p (object)
Package

ctype.

Methods
Reader Method: range-low-exclusive-p ((range range))

automatically generated reader method

Source

classes.lisp.

Target Slot

%low-xp.

Generic Function: subctypep (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

ctype:surely

Methods
Method: subctypep ((ct1 conjunction) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 negation) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 conjunction) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 disjunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 ccons))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccons) (ct2 ctype))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 cmember) (ct2 fpzero))
Source

pairwise.lisp.

Method: subctypep ((ct1 fpzero) (ct2 cmember))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 cclass))
Source

pairwise.lisp.

Method: subctypep ((ct1 cclass) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 cfunction) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 cfunction))
Source

pairwise.lisp.

Method: subctypep ((ct1 charset) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 charset))
Source

pairwise.lisp.

Method: subctypep ((ct1 carray) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 carray))
Source

pairwise.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 range))
Source

pairwise.lisp.

Method: subctypep ((ct1 range) (ct2 ccomplex))
Source

pairwise.lisp.

Method: subctypep ((ct1 csatisfies) (ct2 csatisfies))
Source

csatisfies.lisp.

Method: subctypep ((ct1 cfunction) (ct2 cfunction))
Source

cfunction.lisp.

Method: subctypep ((ct1 cvalues) (ct2 cvalues))
Source

cvalues.lisp.

Method: subctypep ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: subctypep ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: subctypep ((ct1 cmember) (ct2 cmember))
Source

cmember.lisp.

Method: subctypep ((ct1 cmember) (ct2 ctype))
Source

cmember.lisp.

Method: subctypep ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: subctypep ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: subctypep ((ct1 range) (ct2 range))
Source

range.lisp.

Method: subctypep ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: subctypep ((ct1 ctype) (ct2 disjunction))
Source

disjunction.lisp.

Method: subctypep ((ct1 disjunction) (ct2 ctype))
Source

disjunction.lisp.

Method: subctypep ((ct1 ctype) (ct2 conjunction))
Source

conjunction.lisp.

Method: subctypep ((ct1 conjunction) (ct2 ctype))
Source

conjunction.lisp.

Method: subctypep ((ct1 negation) (ct2 ctype))
Source

negation.lisp.

Method: subctypep ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: subctypep ((ct1 negation) (ct2 negation))
Source

negation.lisp.

Method: subctypep ((ct1 cclass) (ct2 cclass))
Source

cclass.lisp.

Method: subctypep ((ct1 ctype) (ct2 ctype))
Generic Function: subtract (ctype1 ctype2)
Package

ctype.

Source

generic-functions.lisp.

Method Combination

basic.

Options

or

Methods
Method: subtract ((ct1 range) (ct2 fpzero))
Source

pairwise.lisp.

Method: subtract ((ct1 fpzero) (ct2 range))
Source

pairwise.lisp.

Method: subtract ((ct1 cfunction) (ct2 cclass))
Source

pairwise.lisp.

Method: subtract ((ct1 cclass) (ct2 cfunction))
Source

pairwise.lisp.

Method: subtract ((ct1 carray) (ct2 cclass))
Source

pairwise.lisp.

Method: subtract ((ct1 cclass) (ct2 carray))
Source

pairwise.lisp.

Method: subtract ((ct1 cclass) (ct2 ccons))
Source

pairwise.lisp.

Method: subtract ((ct1 ccons) (ct2 cclass))
Source

pairwise.lisp.

Method: subtract ((ct1 charset) (ct2 charset))
Source

charset.lisp.

Method: subtract ((ct1 carray) (ct2 carray))
Source

carray.lisp.

Method: subtract ((ct1 ctype) (ct2 cmember))
Source

cmember.lisp.

Method: subtract ((ct1 cmember) (ct2 ctype))
Source

cmember.lisp.

Method: subtract ((ct1 cmember) (ct2 cmember))
Source

cmember.lisp.

Method: subtract ((ct1 ccomplex) (ct2 ccomplex))
Source

ccomplex.lisp.

Method: subtract ((ct1 fpzero) (ct2 fpzero))
Source

fpzero.lisp.

Method: subtract ((ct1 range) (ct2 range))
Source

range.lisp.

Method: subtract ((ct1 ccons) (ct2 ccons))
Source

ccons.lisp.

Method: subtract ((ct1 ctype) (ct2 negation))
Source

negation.lisp.

Method: subtract ((ct1 ctype) (ct2 ctype))
Generic Function: unparse (ctype)
Package

ctype.

Source

generic-functions.lisp.

Methods
Method: unparse ((ct csatisfies))
Source

csatisfies.lisp.

Method: unparse ((ct cfunction))
Source

cfunction.lisp.

Method: unparse ((ct cvalues))
Source

cvalues.lisp.

Method: unparse ((ct charset))
Source

charset.lisp.

Method: unparse ((ct carray))
Source

carray.lisp.

Method: unparse ((ct cmember))
Source

cmember.lisp.

Method: unparse ((ct ccomplex))
Source

ccomplex.lisp.

Method: unparse ((ct fpzero))
Source

fpzero.lisp.

Method: unparse ((ct range))
Source

range.lisp.

Method: unparse ((ct ccons))
Source

ccons.lisp.

Method: unparse ((ct disjunction))
Source

disjunction.lisp.

Method: unparse ((ct conjunction))
Source

conjunction.lisp.

Method: unparse ((ct negation))
Source

negation.lisp.

Method: unparse ((ct cclass))
Source

cclass.lisp.


6.1.5 Standalone methods

Method: make-load-form ((obj ctype) &optional env)
Source

classes.lisp.

Method: print-object ((ct ctype) stream)
Source

generic-functions.lisp.


6.1.6 Method combinations

Method Combination: basic (operator)

This is like standard short form combinations, except
* You write basic operator instead of just operator to refer to the combo.
* You don’t need to put the operator name as a qualifier.
* :order and :identity-with-one-argument are not supported because I don’t need them. This is based on the BASIC combination in sellout’s method-combination-utilities library.

Package

ctype.

Source

method-combination.lisp.

Client Functions

6.1.7 Classes

Class: carray
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %simplicity
Type

(member :simple :complex)

Initargs

:simplicity

Readers

carray-simplicity.

Writers

This slot is read-only.

Slot: %uaet
Initargs

:uaet

Readers

carray-uaet.

Writers

This slot is read-only.

Slot: %eaet
Type

ctype:ctype

Initargs

:eaet

Readers

carray-eaet.

Writers

This slot is read-only.

Slot: %dims
Type

(or list (eql *))

Initargs

:dims

Readers

carray-dims.

Writers

This slot is read-only.

Class: cclass
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %class
Type

class

Initargs

:class

Readers

cclass-class.

Writers

This slot is read-only.

Class: ccomplex
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %ucpt
Initargs

:ucpt

Readers

ccomplex-ucpt.

Writers

This slot is read-only.

Class: ccons
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %car
Type

ctype:ctype

Initargs

:car

Readers

ccons-car.

Writers

This slot is read-only.

Slot: %cdr
Type

ctype:ctype

Initargs

:cdr

Readers

ccons-cdr.

Writers

This slot is read-only.

Class: cfunction
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %lambda-list
Type

ctype:lambda-list

Initargs

:lambda-list

Readers

cfunction-lambda-list.

Writers

This slot is read-only.

Slot: %returns
Type

ctype:cvalues

Initargs

:returns

Readers

cfunction-returns.

Writers

This slot is read-only.

Class: charset
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %pairs
Type

list

Initargs

:pairs

Readers

charset-pairs.

Writers

This slot is read-only.

Class: cmember
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %members
Type

list

Initargs

:members

Readers

cmember-members.

Writers

This slot is read-only.

Class: conjunction
Package

ctype.

Source

classes.lisp.

Direct superclasses

junction.

Direct methods
Class: csatisfies
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %fname
Initargs

:fname

Readers

csatisfies-fname.

Writers

This slot is read-only.

Class: ctype
Package

ctype.

Source

classes.lisp.

Direct subclasses
Direct methods
Class: cvalues
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %required
Type

list

Initargs

:required

Readers

cvalues-required.

Writers

This slot is read-only.

Slot: %optional
Type

list

Initargs

:optional

Readers

cvalues-optional.

Writers

This slot is read-only.

Slot: %rest
Type

ctype:ctype

Initargs

:rest

Readers

cvalues-rest.

Writers

This slot is read-only.

Class: disjunction
Package

ctype.

Source

classes.lisp.

Direct superclasses

junction.

Direct methods
Class: fpzero
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %kind
Type

(member short-float single-float double-float long-float)

Initargs

:kind

Readers

fpzero-kind.

Writers

This slot is read-only.

Slot: %zero
Type

float

Initargs

:zero

Readers

fpzero-zero.

Writers

This slot is read-only.

Class: lambda-list
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %required
Type

list

Initargs

:required

Readers

lambda-list-required.

Writers

This slot is read-only.

Slot: %optional
Type

list

Initargs

:optional

Readers

lambda-list-optional.

Writers

This slot is read-only.

Slot: %rest
Type

ctype:ctype

Initargs

:rest

Readers

lambda-list-rest.

Writers

This slot is read-only.

Slot: %keyp
Type

boolean

Initargs

:keyp

Readers

lambda-list-keyp.

Writers

This slot is read-only.

Slot: %keys
Type

list

Initargs

:keys

Readers

lambda-list-key.

Writers

This slot is read-only.

Slot: %aokp
Type

boolean

Initargs

:aokp

Readers

lambda-list-aokp.

Writers

This slot is read-only.

Class: negation
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %ctype
Type

ctype:ctype

Initargs

:ctype

Readers

negation-ctype.

Writers

This slot is read-only.

Class: range
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct methods
Direct slots
Slot: %kind
Type

(member integer ratio short-float single-float double-float long-float)

Initargs

:kind

Readers

range-kind.

Writers

This slot is read-only.

Slot: %low
Type

(or real null)

Initargs

:low

Readers

range-low.

Writers

This slot is read-only.

Slot: %high
Type

(or real null)

Initargs

:high

Readers

range-high.

Writers

This slot is read-only.

Slot: %low-xp
Type

boolean

Initargs

:lxp

Readers

range-low-exclusive-p.

Writers

This slot is read-only.

Slot: %high-xp
Type

boolean

Initargs

:hxp

Readers

range-high-exclusive-p.

Writers

This slot is read-only.


6.2 Internals


6.2.1 Constants

Constant: +base-charset+
Package

ctype.

Source

sbcl.lisp.

Constant: +class-aliases+
Package

ctype.

Source

sbcl.lisp.

Constant: +complex-arrays-exist-p+
Package

ctype.

Source

sbcl.lisp.

Constant: +distinct-double-float-zeroes-p+
Package

ctype.

Source

common-post.lisp.

Constant: +distinct-long-float-zeroes-p+
Package

ctype.

Source

common-post.lisp.

Constant: +distinct-short-float-zeroes-p+
Package

ctype.

Source

common-post.lisp.

Constant: +distinct-single-float-zeroes-p+
Package

ctype.

Source

common-post.lisp.

Constant: +floats+
Package

ctype.

Source

sbcl.lisp.

Constant: +standard-charset+
Package

ctype.

Source

sbcl.lisp.

Constant: +string-uaets+
Package

ctype.

Source

sbcl.lisp.


6.2.2 Special variables

Special Variable: *bot*
Package

ctype.

Source

create.lisp.

Special Variable: *disjoint-classes*
Package

ctype.

Source

cclass.lisp.

Special Variable: *top*
Package

ctype.

Source

create.lisp.


6.2.3 Macros

Macro: complex-ucptp (objectf ucpt)
Package

ctype.

Source

sbcl.lisp.

Macro: defexclusive (&rest classes)
Package

ctype.

Source

pairwise.lisp.

Macro: defexclusive/2 (class1 class2)
Package

ctype.

Source

pairwise.lisp.

Macro: defexistential (class)
Package

ctype.

Source

pairwise.lisp.

Macro: define-constant (name value &key test)
Package

ctype.

Source

common.lisp.

Macro: definfinite (class)
Package

ctype.

Source

pairwise.lisp.

Macro: range-kindp (objectf kindf)
Package

ctype.

Source

common-post.lisp.


6.2.4 Ordinary functions

Function: %fuzz-values-ctype (required optional rest)
Package

ctype.

Source

parse.lisp.

Function: %parse-lambda-list (ll env)
Package

ctype.

Source

parse.lisp.

Function: %parse-values-ctype (vest env)
Package

ctype.

Source

parse.lisp.

Function: array-ctype (simplicity et dims env)
Package

ctype.

Source

parse.lisp.

Function: ccons-bottom-p (ccons)
Package

ctype.

Source

pairwise.lisp.

Function: class-specifier-ctype (class env)
Package

ctype.

Source

parse.lisp.

Function: complex-ctype (element-type env)
Package

ctype.

Source

parse.lisp.

Function: conjoin-cclass-carray (cclass carray)
Package

ctype.

Source

pairwise.lisp.

Function: conjoin-charset-pairs (pairs1 pairs2)
Package

ctype.

Source

charset.lisp.

Function: conjoin-cmember (cmember ctype)
Package

ctype.

Source

cmember.lisp.

Function: conjoin-disjunction (disjunction ctype)
Package

ctype.

Source

disjunction.lisp.

Function: cons-ctype (car cdr env)
Package

ctype.

Source

parse.lisp.

Function: disjoin-charset-pairs (pairs1 pairs2)
Package

ctype.

Source

charset.lisp.

Function: disjoin-cmember (cmember ctype)
Package

ctype.

Source

cmember.lisp.

Function: disjoin-cmember-disjunction (cmember disjunction)
Package

ctype.

Source

pairwise.lisp.

Function: disjoin-conjunction (conjunction ctype)
Package

ctype.

Source

conjunction.lisp.

Function: error-interval-designator (nondesignator &optional kind)
Package

ctype.

Source

parse.lisp.

Function: float-range (low lxp high hxp)
Package

ctype.

Source

parse.lisp.

Function: function-ctype (ll rv env)
Package

ctype.

Source

parse.lisp.

Function: lambda-list-conjoin (ll1 ll2)
Package

ctype.

Source

cfunction.lisp.

Function: lambda-list-top-p (lambda-list)
Package

ctype.

Source

cfunction.lisp.

Function: mapcar-rcurry (arguments function &rest lists)
Package

ctype.

Source

parse.lisp.

Function: member-ctype (elements)
Package

ctype.

Source

parse.lisp.

Function: negate-charset-pairs (pairs)
Package

ctype.

Source

charset.lisp.

Function: parse (specifier env)
Package

ctype.

Source

parse.lisp.

Function: parse-interval-designator (designator)
Package

ctype.

Source

parse.lisp.

Function: parse-lambda-list (ll env)
Package

ctype.

Source

parse.lisp.

Function: parse-values-ctype (rest env)
Package

ctype.

Source

parse.lisp.

Function: range-ctype (kind low high env)
Package

ctype.

Source

parse.lisp.

Function: ranges-disjoint-p (low1 lxp1 high1 hxp1 low2 lxp2 high2 hxp2)
Package

ctype.

Source

range.lisp.

Function: rational-range (low lxp high hxp)
Package

ctype.

Source

parse.lisp.

Function: ratiop (object)
Package

ctype.

Source

sbcl.lisp.

Function: reconstant (name value test)
Package

ctype.

Source

common.lisp.

Function: satisfies-ctype (fname)
Package

ctype.

Source

parse.lisp.

Function: sequence-cclass-p (cclass)
Package

ctype.

Source

pairwise.lisp.

Function: simple-array-p (object)
Package

ctype.

Source

sbcl.lisp.

Function: single-value (ctype)
Package

ctype.

Source

create.lisp.

Function: sub-lambda-list-p (ll1 ll2)
Package

ctype.

Source

cfunction.lisp.

Function: subclassp (sub super)
Package

ctype.

Source

sbcl.lisp.

Function: subfunction-cclass-p (cclass)
Package

ctype.

Source

pairwise.lisp.

Function: typexpand (type-specifier environment)
Package

ctype.

Source

sbcl.lisp.

Function: unparse-lambda-list (lambda-list)
Package

ctype.

Source

cfunction.lisp.

Function: unparse-vector-simple (uaet length)
Package

ctype.

Source

carray.lisp.


6.2.5 Generic functions

Generic Function: coerce-to-values (ctype)
Package

ctype.

Source

parse.lisp.

Methods
Method: coerce-to-values ((ctype ctype))
Method: coerce-to-values ((ctype cvalues))
Generic Function: cons-specifier-ctype (head rest env)
Package

ctype.

Source

parse.lisp.

Methods
Method: cons-specifier-ctype ((head (eql vector)) rest env)
Method: cons-specifier-ctype ((head (eql values)) rest env)
Method: cons-specifier-ctype ((head (eql unsigned-byte)) rest env)
Method: cons-specifier-ctype ((head (eql string)) rest env)
Method: cons-specifier-ctype ((head (eql single-float)) rest env)
Method: cons-specifier-ctype ((head (eql simple-vector)) rest env)
Method: cons-specifier-ctype ((head (eql simple-string)) rest env)
Method: cons-specifier-ctype ((head (eql simple-bit-vector)) rest env)
Method: cons-specifier-ctype ((head (eql simple-base-string)) rest env)
Method: cons-specifier-ctype ((head (eql simple-array)) rest env)
Method: cons-specifier-ctype ((head (eql signed-byte)) rest env)
Method: cons-specifier-ctype ((head (eql short-float)) rest env)
Method: cons-specifier-ctype ((head (eql satisfies)) rest env)
Method: cons-specifier-ctype ((head (eql real)) rest env)
Method: cons-specifier-ctype ((head (eql rational)) rest env)
Method: cons-specifier-ctype ((head (eql or)) rest env)
Method: cons-specifier-ctype ((head (eql not)) rest env)
Method: cons-specifier-ctype ((head (eql mod)) rest env)
Method: cons-specifier-ctype ((head (eql member)) rest env)
Method: cons-specifier-ctype ((head (eql long-float)) rest env)
Method: cons-specifier-ctype ((head (eql integer)) rest env)
Method: cons-specifier-ctype ((head (eql function)) rest env)
Method: cons-specifier-ctype ((head (eql float)) rest env)
Method: cons-specifier-ctype ((head (eql eql)) rest env)
Method: cons-specifier-ctype ((head (eql double-float)) rest env)
Method: cons-specifier-ctype ((head (eql cons)) rest env)
Method: cons-specifier-ctype ((head (eql complex)) rest env)
Method: cons-specifier-ctype ((head (eql bit-vector)) rest env)
Method: cons-specifier-ctype ((head (eql base-string)) rest env)
Method: cons-specifier-ctype ((head (eql array)) rest env)
Method: cons-specifier-ctype ((head (eql and)) rest env)
Generic Function: symbol-specifier-ctype (sym env)
Package

ctype.

Source

parse.lisp.

Methods
Method: symbol-specifier-ctype ((sym symbol) env)
Method: symbol-specifier-ctype ((sym (eql vector)) env)
Method: symbol-specifier-ctype ((sym (eql unsigned-byte)) env)
Method: symbol-specifier-ctype ((sym (eql t)) env)
Method: symbol-specifier-ctype ((sym (eql string)) env)
Method: symbol-specifier-ctype ((sym (eql standard-char)) env)
Method: symbol-specifier-ctype ((sym (eql single-float)) env)
Method: symbol-specifier-ctype ((sym (eql simple-vector)) env)
Method: symbol-specifier-ctype ((sym (eql simple-string)) env)
Method: symbol-specifier-ctype ((sym (eql simple-bit-vector)) env)
Method: symbol-specifier-ctype ((sym (eql simple-base-string)) env)
Method: symbol-specifier-ctype ((sym (eql simple-array)) env)
Method: symbol-specifier-ctype ((sym (eql signed-byte)) env)
Method: symbol-specifier-ctype ((sym (eql short-float)) env)
Method: symbol-specifier-ctype ((sym (eql real)) env)
Method: symbol-specifier-ctype ((sym (eql rational)) env)
Method: symbol-specifier-ctype ((sym (eql ratio)) env)
Method: symbol-specifier-ctype ((sym (eql number)) env)
Method: symbol-specifier-ctype ((sym (eql null)) env)
Method: symbol-specifier-ctype ((sym (eql nil)) env)
Method: symbol-specifier-ctype ((sym (eql long-float)) env)
Method: symbol-specifier-ctype ((sym (eql list)) env)
Method: symbol-specifier-ctype ((sym (eql keyword)) env)
Method: symbol-specifier-ctype ((sym (eql integer)) env)
Method: symbol-specifier-ctype ((sym (eql function)) env)
Method: symbol-specifier-ctype ((sym (eql float)) env)
Method: symbol-specifier-ctype ((sym (eql fixnum)) env)
Method: symbol-specifier-ctype ((sym (eql extended-char)) env)
Method: symbol-specifier-ctype ((sym (eql double-float)) env)
Method: symbol-specifier-ctype ((sym (eql cons)) env)
Method: symbol-specifier-ctype ((sym (eql complex)) env)
Method: symbol-specifier-ctype ((sym (eql compiled-function)) env)
Method: symbol-specifier-ctype ((sym (eql character)) env)
Method: symbol-specifier-ctype ((sym (eql boolean)) env)
Method: symbol-specifier-ctype ((sym (eql bit-vector)) env)
Method: symbol-specifier-ctype ((sym (eql bit)) env)
Method: symbol-specifier-ctype ((sym (eql bignum)) env)
Method: symbol-specifier-ctype ((sym (eql base-string)) env)
Method: symbol-specifier-ctype ((sym (eql base-char)) env)
Method: symbol-specifier-ctype ((sym (eql atom)) env)
Method: symbol-specifier-ctype ((sym (eql array)) env)

6.2.6 Classes

Class: junction
Package

ctype.

Source

classes.lisp.

Direct superclasses

ctype.

Direct subclasses
Direct methods

junction-ctypes.

Direct slots
Slot: %ctypes
Type

list

Initargs

:ctypes

Readers

junction-ctypes.

Writers

This slot is read-only.


Appendix A Indexes


A.1 Concepts


A.2 Functions

Jump to:   %  
A   B   C   D   E   F   G   J   L   M   N   O   P   R   S   T   U   V  
Index Entry  Section

%
%fuzz-values-ctype: Private ordinary functions
%parse-lambda-list: Private ordinary functions
%parse-values-ctype: Private ordinary functions

A
and/tri: Public macros
array-ctype: Private ordinary functions

B
basic: Public method combinations
bot: Public ordinary functions
bot-p: Public ordinary functions

C
carray: Public ordinary functions
carray-dims: Public generic functions
carray-dims: Public generic functions
carray-eaet: Public generic functions
carray-eaet: Public generic functions
carray-simplicity: Public generic functions
carray-simplicity: Public generic functions
carray-uaet: Public generic functions
carray-uaet: Public generic functions
cclass: Public ordinary functions
cclass-class: Public generic functions
cclass-class: Public generic functions
ccomplex: Public ordinary functions
ccomplex-ucpt: Public generic functions
ccomplex-ucpt: Public generic functions
ccons: Public ordinary functions
ccons-bottom-p: Private ordinary functions
ccons-car: Public generic functions
ccons-car: Public generic functions
ccons-cdr: Public generic functions
ccons-cdr: Public generic functions
cfunction: Public ordinary functions
cfunction-lambda-list: Public generic functions
cfunction-lambda-list: Public generic functions
cfunction-returns: Public generic functions
cfunction-returns: Public generic functions
charset: Public ordinary functions
charset-pairs: Public generic functions
charset-pairs: Public generic functions
class-specifier-ctype: Private ordinary functions
cmember: Public ordinary functions
cmember-members: Public generic functions
cmember-members: Public generic functions
coerce-to-values: Private generic functions
coerce-to-values: Private generic functions
coerce-to-values: Private generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
cofinitep: Public generic functions
Compiler Macro, every/tri: Public compiler macros
Compiler Macro, notany/tri: Public compiler macros
Compiler Macro, notevery/tri: Public compiler macros
Compiler Macro, some/tri: Public compiler macros
complex-ctype: Private ordinary functions
complex-ucptp: Private macros
conjoin: Public ordinary functions
conjoin-cclass-carray: Private ordinary functions
conjoin-charset-pairs: Private ordinary functions
conjoin-cmember: Private ordinary functions
conjoin-disjunction: Private ordinary functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjoin/2: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjointp: Public generic functions
conjunction: Public ordinary functions
cons-ctype: Private ordinary functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
cons-specifier-ctype: Private generic functions
csatisfies: Public ordinary functions
csatisfies-fname: Public generic functions
csatisfies-fname: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctype=: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
ctypep: Public generic functions
cvalues: Public ordinary functions
cvalues-optional: Public generic functions
cvalues-optional: Public generic functions
cvalues-required: Public generic functions
cvalues-required: Public generic functions
cvalues-rest: Public generic functions
cvalues-rest: Public generic functions

D
defexclusive: Private macros
defexclusive/2: Private macros
defexistential: Private macros
define-constant: Private macros
definfinite: Private macros
disjoin: Public ordinary functions
disjoin-charset-pairs: Private ordinary functions
disjoin-cmember: Private ordinary functions
disjoin-cmember-disjunction: Private ordinary functions
disjoin-conjunction: Private ordinary functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjoin/2: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjointp: Public generic functions
disjunction: Public ordinary functions

E
error-interval-designator: Private ordinary functions
every/tri: Public compiler macros
every/tri: Public ordinary functions

F
float-range: Private ordinary functions
fpzero: Public ordinary functions
fpzero-kind: Public generic functions
fpzero-kind: Public generic functions
fpzero-zero: Public generic functions
fpzero-zero: Public generic functions
Function, %fuzz-values-ctype: Private ordinary functions
Function, %parse-lambda-list: Private ordinary functions
Function, %parse-values-ctype: Private ordinary functions
Function, array-ctype: Private ordinary functions
Function, bot: Public ordinary functions
Function, bot-p: Public ordinary functions
Function, carray: Public ordinary functions
Function, cclass: Public ordinary functions
Function, ccomplex: Public ordinary functions
Function, ccons: Public ordinary functions
Function, ccons-bottom-p: Private ordinary functions
Function, cfunction: Public ordinary functions
Function, charset: Public ordinary functions
Function, class-specifier-ctype: Private ordinary functions
Function, cmember: Public ordinary functions
Function, complex-ctype: Private ordinary functions
Function, conjoin: Public ordinary functions
Function, conjoin-cclass-carray: Private ordinary functions
Function, conjoin-charset-pairs: Private ordinary functions
Function, conjoin-cmember: Private ordinary functions
Function, conjoin-disjunction: Private ordinary functions
Function, conjunction: Public ordinary functions
Function, cons-ctype: Private ordinary functions
Function, csatisfies: Public ordinary functions
Function, cvalues: Public ordinary functions
Function, disjoin: Public ordinary functions
Function, disjoin-charset-pairs: Private ordinary functions
Function, disjoin-cmember: Private ordinary functions
Function, disjoin-cmember-disjunction: Private ordinary functions
Function, disjoin-conjunction: Private ordinary functions
Function, disjunction: Public ordinary functions
Function, error-interval-designator: Private ordinary functions
Function, every/tri: Public ordinary functions
Function, float-range: Private ordinary functions
Function, fpzero: Public ordinary functions
Function, function-ctype: Private ordinary functions
Function, function-top: Public ordinary functions
Function, function-top-p: Public ordinary functions
Function, lambda-list-conjoin: Private ordinary functions
Function, lambda-list-top: Public ordinary functions
Function, lambda-list-top-p: Private ordinary functions
Function, mapcar-rcurry: Private ordinary functions
Function, member-ctype: Private ordinary functions
Function, negate-charset-pairs: Private ordinary functions
Function, negation: Public ordinary functions
Function, notany/tri: Public ordinary functions
Function, notevery/tri: Public ordinary functions
Function, parse: Private ordinary functions
Function, parse-interval-designator: Private ordinary functions
Function, parse-lambda-list: Private ordinary functions
Function, parse-values-ctype: Private ordinary functions
Function, range: Public ordinary functions
Function, range-ctype: Private ordinary functions
Function, ranges-disjoint-p: Private ordinary functions
Function, rational-range: Private ordinary functions
Function, ratiop: Private ordinary functions
Function, reconstant: Private ordinary functions
Function, satisfies-ctype: Private ordinary functions
Function, sequence-cclass-p: Private ordinary functions
Function, simple-array-p: Private ordinary functions
Function, single-value: Private ordinary functions
Function, some/tri: Public ordinary functions
Function, specifier-ctype: Public ordinary functions
Function, sub-lambda-list-p: Private ordinary functions
Function, subclassp: Private ordinary functions
Function, subfunction-cclass-p: Private ordinary functions
Function, top: Public ordinary functions
Function, top-p: Public ordinary functions
Function, typexpand: Private ordinary functions
Function, unparse-lambda-list: Private ordinary functions
Function, unparse-vector-simple: Private ordinary functions
Function, values-bot: Public ordinary functions
Function, values-bot-p: Public ordinary functions
Function, values-specifier-ctype: Public ordinary functions
Function, values-top: Public ordinary functions
Function, values-top-p: Public ordinary functions
function-ctype: Private ordinary functions
function-top: Public ordinary functions
function-top-p: Public ordinary functions

G
Generic Function, carray-dims: Public generic functions
Generic Function, carray-eaet: Public generic functions
Generic Function, carray-simplicity: Public generic functions
Generic Function, carray-uaet: Public generic functions
Generic Function, cclass-class: Public generic functions
Generic Function, ccomplex-ucpt: Public generic functions
Generic Function, ccons-car: Public generic functions
Generic Function, ccons-cdr: Public generic functions
Generic Function, cfunction-lambda-list: Public generic functions
Generic Function, cfunction-returns: Public generic functions
Generic Function, charset-pairs: Public generic functions
Generic Function, cmember-members: Public generic functions
Generic Function, coerce-to-values: Private generic functions
Generic Function, cofinitep: Public generic functions
Generic Function, conjoin/2: Public generic functions
Generic Function, conjointp: Public generic functions
Generic Function, cons-specifier-ctype: Private generic functions
Generic Function, csatisfies-fname: Public generic functions
Generic Function, ctype=: Public generic functions
Generic Function, ctypep: Public generic functions
Generic Function, cvalues-optional: Public generic functions
Generic Function, cvalues-required: Public generic functions
Generic Function, cvalues-rest: Public generic functions
Generic Function, disjoin/2: Public generic functions
Generic Function, disjointp: Public generic functions
Generic Function, fpzero-kind: Public generic functions
Generic Function, fpzero-zero: Public generic functions
Generic Function, junction-ctypes: Public generic functions
Generic Function, lambda-list-aokp: Public generic functions
Generic Function, lambda-list-key: Public generic functions
Generic Function, lambda-list-keyp: Public generic functions
Generic Function, lambda-list-optional: Public generic functions
Generic Function, lambda-list-required: Public generic functions
Generic Function, lambda-list-rest: Public generic functions
Generic Function, negate: Public generic functions
Generic Function, negation-ctype: Public generic functions
Generic Function, range-high: Public generic functions
Generic Function, range-high-exclusive-p: Public generic functions
Generic Function, range-kind: Public generic functions
Generic Function, range-low: Public generic functions
Generic Function, range-low-exclusive-p: Public generic functions
Generic Function, subctypep: Public generic functions
Generic Function, subtract: Public generic functions
Generic Function, symbol-specifier-ctype: Private generic functions
Generic Function, unparse: Public generic functions

J
junction-ctypes: Public generic functions
junction-ctypes: Public generic functions

L
lambda-list-aokp: Public generic functions
lambda-list-aokp: Public generic functions
lambda-list-conjoin: Private ordinary functions
lambda-list-key: Public generic functions
lambda-list-key: Public generic functions
lambda-list-keyp: Public generic functions
lambda-list-keyp: Public generic functions
lambda-list-optional: Public generic functions
lambda-list-optional: Public generic functions
lambda-list-required: Public generic functions
lambda-list-required: Public generic functions
lambda-list-rest: Public generic functions
lambda-list-rest: Public generic functions
lambda-list-top: Public ordinary functions
lambda-list-top-p: Private ordinary functions

M
Macro, and/tri: Public macros
Macro, complex-ucptp: Private macros
Macro, defexclusive: Private macros
Macro, defexclusive/2: Private macros
Macro, defexistential: Private macros
Macro, define-constant: Private macros
Macro, definfinite: Private macros
Macro, or/tri: Public macros
Macro, range-kindp: Private macros
Macro, surely: Public macros
make-load-form: Public standalone methods
mapcar-rcurry: Private ordinary functions
member-ctype: Private ordinary functions
Method Combination, basic: Public method combinations
Method, carray-dims: Public generic functions
Method, carray-eaet: Public generic functions
Method, carray-simplicity: Public generic functions
Method, carray-uaet: Public generic functions
Method, cclass-class: Public generic functions
Method, ccomplex-ucpt: Public generic functions
Method, ccons-car: Public generic functions
Method, ccons-cdr: Public generic functions
Method, cfunction-lambda-list: Public generic functions
Method, cfunction-returns: Public generic functions
Method, charset-pairs: Public generic functions
Method, cmember-members: Public generic functions
Method, coerce-to-values: Private generic functions
Method, coerce-to-values: Private generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, cofinitep: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjoin/2: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, conjointp: Public generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, cons-specifier-ctype: Private generic functions
Method, csatisfies-fname: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctype=: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, ctypep: Public generic functions
Method, cvalues-optional: Public generic functions
Method, cvalues-required: Public generic functions
Method, cvalues-rest: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjoin/2: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, disjointp: Public generic functions
Method, fpzero-kind: Public generic functions
Method, fpzero-zero: Public generic functions
Method, junction-ctypes: Public generic functions
Method, lambda-list-aokp: Public generic functions
Method, lambda-list-key: Public generic functions
Method, lambda-list-keyp: Public generic functions
Method, lambda-list-optional: Public generic functions
Method, lambda-list-required: Public generic functions
Method, lambda-list-rest: Public generic functions
Method, make-load-form: Public standalone methods
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negate: Public generic functions
Method, negation-ctype: Public generic functions
Method, print-object: Public standalone methods
Method, range-high: Public generic functions
Method, range-high-exclusive-p: Public generic functions
Method, range-kind: Public generic functions
Method, range-low: Public generic functions
Method, range-low-exclusive-p: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subctypep: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, subtract: Public generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, symbol-specifier-ctype: Private generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions
Method, unparse: Public generic functions

N
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate: Public generic functions
negate-charset-pairs: Private ordinary functions
negation: Public ordinary functions
negation-ctype: Public generic functions
negation-ctype: Public generic functions
notany/tri: Public compiler macros
notany/tri: Public ordinary functions
notevery/tri: Public compiler macros
notevery/tri: Public ordinary functions

O
or/tri: Public macros

P
parse: Private ordinary functions
parse-interval-designator: Private ordinary functions
parse-lambda-list: Private ordinary functions
parse-values-ctype: Private ordinary functions
print-object: Public standalone methods

R
range: Public ordinary functions
range-ctype: Private ordinary functions
range-high: Public generic functions
range-high: Public generic functions
range-high-exclusive-p: Public generic functions
range-high-exclusive-p: Public generic functions
range-kind: Public generic functions
range-kind: Public generic functions
range-kindp: Private macros
range-low: Public generic functions
range-low: Public generic functions
range-low-exclusive-p: Public generic functions
range-low-exclusive-p: Public generic functions
ranges-disjoint-p: Private ordinary functions
rational-range: Private ordinary functions
ratiop: Private ordinary functions
reconstant: Private ordinary functions

S
satisfies-ctype: Private ordinary functions
sequence-cclass-p: Private ordinary functions
simple-array-p: Private ordinary functions
single-value: Private ordinary functions
some/tri: Public compiler macros
some/tri: Public ordinary functions
specifier-ctype: Public ordinary functions
sub-lambda-list-p: Private ordinary functions
subclassp: Private ordinary functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subctypep: Public generic functions
subfunction-cclass-p: Private ordinary functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
subtract: Public generic functions
surely: Public macros
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions
symbol-specifier-ctype: Private generic functions