((/nonstd/nsa/intervals.lisp::weak-interval-p (nil nil nil nil (and) nil nil) (nil nil (consp) nil (or or) nil nil) ((interval) nil (realp realp) (and equal and equal) nil nil nil) ((nil nil) nil (car consp realp car cdr consp realp cdr) nil nil nil nil) ((interval interval interval interval) nil (car car cdr car) nil nil nil nil) ((interval interval) nil (car cdr) nil nil nil nil) ((interval interval) nil nil nil nil nil nil)) (/nonstd/nsa/intervals.lisp::interval-left-inclusive-p (nil nil (realp) nil nil nil nil) (nil nil (car) nil nil nil nil) ((interval) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/intervals.lisp::interval-right-inclusive-p (nil nil (realp) nil nil nil nil) (nil nil (cdr) nil nil nil nil) ((interval) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/intervals.lisp::interval-left-endpoint (nil nil nil nil (if) nil nil) (nil nil (realp car) nil (if) nil nil) ((interval nil) nil (car consp car) nil nil nil nil) ((interval) nil (car car) nil nil nil nil) ((interval interval) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/intervals.lisp::interval-right-endpoint (nil nil nil nil (if) nil nil) (nil nil (realp cdr) nil (if) nil nil) ((interval nil) nil (cdr consp car) nil nil nil nil) ((interval) nil (cdr cdr) nil nil nil nil) ((interval interval) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/intervals.lisp::interval-p (nil nil nil (and) nil nil nil) (nil nil (weak-interval-p) nil (or) nil nil) ((interval) nil nil (equal equal) (if) nil nil) ((nil nil) nil (interval-left-endpoint interval-right-endpoint) (and <= <) nil nil nil) ((interval interval) nil (interval-left-inclusive-p interval-right-inclusive-p interval-left-endpoint interval-right-endpoint interval-left-endpoint interval-right-endpoint) nil nil nil nil) ((interval interval interval interval interval interval) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/intervals.lisp::interval (nil nil nil (cons) nil nil nil) ((a b) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/intervals.lisp::inside-interval-p (nil nil nil nil (and) nil nil) (nil nil (realp) (or or) nil nil nil) ((x) nil nil (equal equal) (if if) nil nil) ((nil nil) nil (interval-left-endpoint interval-left-inclusive-p interval-right-endpoint interval-right-inclusive-p) (<= < <= <) nil nil nil) ((interval interval x x interval interval x x) nil (interval-left-endpoint interval-left-endpoint interval-right-endpoint interval-right-endpoint) nil nil nil nil) ((interval interval interval interval) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/intervals.lisp::before-interval-p (nil nil nil nil (and) nil nil) (nil nil (realp not) nil (if) nil nil) ((x) nil (interval-left-inclusive-p) (equal < <=) nil nil nil) ((nil interval x x) nil (interval-left-endpoint interval-left-endpoint interval-left-endpoint) nil nil nil nil) ((interval interval interval) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/intervals.lisp::after-interval-p (nil nil nil nil (and) nil nil) (nil nil (realp not) nil (if) nil nil) ((x) nil (interval-right-inclusive-p) (equal > >=) nil nil nil) ((nil interval x x) nil (interval-right-endpoint interval-right-endpoint interval-right-endpoint) nil nil nil nil) ((interval interval interval) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/nsa/intervals.lisp::subinterval-p (nil nil nil nil nil (and) nil) (nil nil (interval-p interval-p) (or or) nil nil nil) ((subinterval interval) nil nil (equal and equal and) nil nil nil) ((nil nil) nil (interval-left-endpoint realp interval-right-endpoint realp) nil (if if) nil nil) ((interval interval) nil (interval-left-endpoint interval-right-endpoint) (and < <= and > >=) nil nil nil) ((subinterval subinterval) nil (not interval-left-inclusive-p interval-left-endpoint interval-left-endpoint interval-left-endpoint interval-left-endpoint not interval-right-inclusive-p interval-right-endpoint interval-right-endpoint interval-right-endpoint interval-right-endpoint) nil nil nil nil) ((subinterval interval subinterval interval subinterval subinterval interval subinterval interval subinterval) nil (interval-left-inclusive-p interval-right-inclusive-p) nil nil nil nil)))