( (eql pattern input bindings

((segment-pattern-p pattern)

(segment-matcher p a t t e r n i n p u t bindings))

( ( s i n g l e - p a t t e r n - p pattern) . , ***

(single-matcher p a t t e r n i n p u t bindings)) ; ***

((and (consp pattern) (consp i n p u t ) )

(pat-match ( r e s t pattern) ( r e s t input)

(pat-match ( f i r s t pattern) ( f i r s t input)

b i n d i n g s ) ) )

(t f a i l ) ) )