Variable: comp-known-type-specifiers

comp-known-type-specifiers is a variable defined in comp.el.gz.

Value

Large value
((%
  (function
   ((or number marker)
    (or number marker))
   number))
 (*
  (function
   (&rest
    (or number marker))
   number))
 (+
  (function
   (&rest
    (or number marker))
   number))
 (-
  (function
   (&rest
    (or number marker))
   number))
 (/
  (function
   ((or number marker)
    &rest
    (or number marker))
   number))
 (/=
  (function
   ((or number marker)
    (or number marker))
   boolean))
 (1+
  (function
   ((or number marker))
   number))
 (1-
  (function
   ((or number marker))
   number))
 (<
  (function
   ((or number marker)
    &rest
    (or number marker))
   boolean))
 (<=
  (function
   ((or number marker)
    &rest
    (or number marker))
   boolean))
 (=
  (function
   ((or number marker)
    &rest
    (or number marker))
   boolean))
 (>
  (function
   ((or number marker)
    &rest
    (or number marker))
   boolean))
 (>=
  (function
   ((or number marker)
    &rest
    (or number marker))
   boolean))
 (abs
  (function
   (number)
   number))
 (acos
  (function
   (number)
   float))
 (append
  (function
   (&rest t)
   t))
 (aref
  (function
   (t fixnum)
   t))
 (arrayp
  (function
   (t)
   boolean))
 (ash
  (function
   (integer integer)
   integer))
 (asin
  (function
   (number)
   float))
 (assq
  (function
   (t list)
   list))
 (atan
  (function
   (number &optional number)
   float))
 (atom
  (function
   (t)
   boolean))
 (bignump
  (function
   (t)
   boolean))
 (bobp
  (function nil boolean))
 (bolp
  (function nil boolean))
 (bool-vector-count-consecutive
  (function
   (bool-vector boolean integer)
   fixnum))
 (bool-vector-count-population
  (function
   (bool-vector)
   fixnum))
 (bool-vector-not
  (function
   (bool-vector &optional bool-vector)
   bool-vector))
 (bool-vector-p
  (function
   (t)
   boolean))
 (bool-vector-subsetp
  (function
   (bool-vector bool-vector)
   boolean))
 (boundp
  (function
   (symbol)
   boolean))
 (buffer-end
  (function
   ((or number marker))
   integer))
 (buffer-file-name
  (function
   (&optional buffer)
   (or string null)))
 (buffer-list
  (function
   (&optional frame)
   list))
 (buffer-local-variables
  (function
   (&optional buffer)
   list))
 (buffer-modified-p
  (function
   (&optional buffer)
   boolean))
 (buffer-size
  (function
   (&optional buffer)
   integer))
 (buffer-string
  (function nil string))
 (buffer-substring
  (function
   ((or integer marker)
    (or integer marker))
   string))
 (bufferp
  (function
   (t)
   boolean))
 (byte-code-function-p
  (function
   (t)
   boolean))
 (capitalize
  (function
   (or integer string)
   (or integer string)))
 (car
  (function
   (list)
   t))
 (car-less-than-car
  (function
   (list list)
   boolean))
 (car-safe
  (function
   (t)
   t))
 (case-table-p
  (function
   (t)
   boolean))
 (cdr
  (function
   (list)
   t))
 (cdr-safe
  (function
   (t)
   t))
 (ceiling
  (function
   (number &optional number)
   integer))
 (char-after
  (function
   (&optional
    (or marker integer))
   (or fixnum null)))
 (char-before
  (function
   (&optional
    (or marker integer))
   (or fixnum null)))
 (char-equal
  (function
   (integer integer)
   boolean))
 (char-or-string-p
  (function
   (t)
   boolean))
 (char-to-string
  (function
   (fixnum)
   string))
 (char-width
  (function
   (fixnum)
   fixnum))
 (characterp
  (function
   (t &optional t)
   boolean))
 (charsetp
  (function
   (t)
   boolean))
 (commandp
  (function
   (t &optional t)
   boolean))
 (compare-strings
  (function
   (string
    (or integer marker null)
    (or integer marker null)
    string
    (or integer marker null)
    (or integer marker null)
    &optional t)
   (or
    (member t)
    fixnum)))
 (concat
  (function
   (&rest sequence)
   string))
 (cons
  (function
   (t t)
   cons))
 (consp
  (function
   (t)
   boolean))
 (coordinates-in-window-p
  (function
   (cons window)
   boolean))
 (copy-alist
  (function
   (list)
   list))
 (copy-marker
  (function
   (&optional
    (or integer marker)
    boolean)
   marker))
 (copy-sequence
  (function
   (sequence)
   sequence))
 (copysign
  (function
   (float float)
   float))
 (cos
  (function
   (number)
   float))
 (count-lines
  (function
   ((or integer marker)
    (or integer marker)
    &optional t)
   integer))
 (current-buffer
  (function nil buffer))
 (current-global-map
  (function nil cons))
 (current-indentation
  (function nil integer))
 (current-local-map
  (function nil
	    (or cons null)))
 (current-minor-mode-maps
  (function nil
	    (or cons null)))
 (current-time
  (function nil cons))
 (current-time-string
  (function
   (&optional
    (or number list)
    (or symbol string cons integer))
   string))
 (current-time-zone
  (function
   (&optional
    (or number list)
    (or symbol string cons integer))
   cons))
 (custom-variable-p
  (function
   (symbol)
   boolean))
 (decode-char
  (function
   (cons t)
   (or fixnum null)))
 (decode-time
  (function
   (&optional
    (or number list)
    (or symbol string cons integer)
    symbol)
   cons))
 (default-boundp
  (function
   (symbol)
   boolean))
 (default-value
  (function
   (symbol)
   t))
 (degrees-to-radians
  (function
   (number)
   float))
 (documentation
  (function
   ((or function symbol subr)
    &optional t)
   (or null string)))
 (downcase
  (function
   ((or fixnum string))
   (or fixnum string)))
 (elt
  (function
   (sequence integer)
   t))
 (encode-char
  (function
   (fixnum symbol)
   (or fixnum null)))
 (encode-time
  (function
   (cons &rest t)
   cons))
 (eobp
  (function nil boolean))
 (eolp
  (function nil boolean))
 (eq
  (function
   (t t)
   boolean))
 (eql
  (function
   (t t)
   boolean))
 (equal
  (function
   (t t)
   boolean))
 (error-message-string
  (function
   (list)
   string))
 (eventp
  (function
   (t)
   boolean))
 (exp
  (function
   (number)
   float))
 (expt
  (function
   (number number)
   float))
 (fboundp
  (function
   (symbol)
   boolean))
 (fceiling
  (function
   (float)
   float))
 (featurep
  (function
   (symbol &optional symbol)
   boolean))
 (ffloor
  (function
   (float)
   float))
 (file-directory-p
  (function
   (string)
   boolean))
 (file-exists-p
  (function
   (string)
   boolean))
 (file-locked-p
  (function
   (string)
   boolean))
 (file-name-absolute-p
  (function
   (string)
   boolean))
 (file-newer-than-file-p
  (function
   (string string)
   boolean))
 (file-readable-p
  (function
   (string)
   boolean))
 (file-symlink-p
  (function
   (string)
   boolean))
 (file-writable-p
  (function
   (string)
   boolean))
 (fixnump
  (function
   (t)
   boolean))
 (float
  (function
   (number)
   float))
 (float-time
  (function
   (&optional
    (or number list))
   float))
 (floatp
  (function
   (t)
   boolean))
 (floor
  (function
   (number &optional number)
   integer))
 (following-char
  (function nil fixnum))
 (format
  (function
   (string &rest t)
   string))
 (format-time-string
  (function
   (string &optional
	   (or number list)
	   (or symbol string cons integer))
   string))
 (frame-first-window
  (function
   ((or frame window))
   window))
 (frame-root-window
  (function
   (&optional
    (or frame window))
   window))
 (frame-selected-window
  (function
   (&optional
    (or frame window))
   window))
 (frame-visible-p
  (function
   (frame)
   boolean))
 (framep
  (function
   (t)
   boolean))
 (fround
  (function
   (float)
   float))
 (ftruncate
  (function
   (float)
   float))
 (get
  (function
   (symbol symbol)
   t))
 (get-buffer
  (function
   ((or buffer string))
   (or buffer null)))
 (get-buffer-window
  (function
   (&optional
    (or buffer string)
    (or symbol
	(integer 0 0)))
   (or null window)))
 (get-file-buffer
  (function
   (string)
   (or null buffer)))
 (get-largest-window
  (function
   (&optional t t t)
   (or window null)))
 (get-lru-window
  (function
   (&optional t t t)
   (or window null)))
 (getenv
  (function
   (string &optional frame)
   (or null string)))
 (gethash
  (function
   (t hash-table &optional t)
   t))
 (hash-table-count
  (function
   (hash-table)
   integer))
 (hash-table-p
  (function
   (t)
   boolean))
 (identity
  (function
   (t)
   t))
 (ignore
  (function
   (&rest t)
   null))
 (int-to-string
  (function
   (number)
   string))
 (integer-or-marker-p
  (function
   (t)
   boolean))
 (integerp
  (function
   (t)
   boolean))
 (interactive-p
  (function nil boolean))
 (intern-soft
  (function
   ((or string symbol)
    &optional vector)
   symbol))
 (invocation-directory
  (function nil string))
 (invocation-name
  (function nil string))
 (isnan
  (function
   (float)
   boolean))
 (keymap-parent
  (function
   (cons)
   (or cons null)))
 (keymapp
  (function
   (t)
   boolean))
 (keywordp
  (function
   (t)
   boolean))
 (last
  (function
   (list &optional integer)
   list))
 (lax-plist-get
  (function
   (list t)
   t))
 (ldexp
  (function
   (number integer)
   float))
 (length
  (function
   (t)
   (integer 0 *)))
 (length<
  (function
   (sequence fixnum)
   boolean))
 (length=
  (function
   (sequence fixnum)
   boolean))
 (length>
  (function
   (sequence fixnum)
   boolean))
 (line-beginning-position
  (function
   (&optional integer)
   integer))
 (line-end-position
  (function
   (&optional integer)
   integer))
 (list
  (function
   (&rest t)
   list))
 (listp
  (function
   (t)
   boolean))
 (local-variable-if-set-p
  (function
   (symbol &optional buffer)
   boolean))
 (local-variable-p
  (function
   (symbol &optional buffer)
   boolean))
 (locale-info
  (function
   ((member codeset days months paper))
   (or null string)))
 (log
  (function
   (number number)
   float))
 (log10
  (function
   (number)
   float))
 (logand
  (function
   (&rest
    (or integer marker))
   integer))
 (logb
  (function
   (number)
   integer))
 (logcount
  (function
   (integer)
   integer))
 (logior
  (function
   (&rest
    (or integer marker))
   integer))
 (lognot
  (function
   (integer)
   integer))
 (logxor
  (function
   (&rest
    (or integer marker))
   integer))
 (lsh
  (function
   (integer integer)
   integer))
 (make-byte-code
  (function
   ((or fixnum list)
    string vector integer &optional string t &rest t)
   vector))
 (make-list
  (function
   (integer t)
   list))
 (make-marker
  (function nil marker))
 (make-string
  (function
   (integer fixnum &optional t)
   string))
 (make-symbol
  (function
   (string)
   symbol))
 (mark
  (function
   (&optional t)
   (or integer null)))
 (mark-marker
  (function nil marker))
 (marker-buffer
  (function
   (marker)
   (or buffer null)))
 (markerp
  (function
   (t)
   boolean))
 (max
  (function
   ((or number marker)
    &rest
    (or number marker))
   number))
 (max-char
  (function
   (&optional t)
   fixnum))
 (member
  (function
   (t list)
   list))
 (memory-limit
  (function nil integer))
 (memq
  (function
   (t list)
   list))
 (memql
  (function
   (t list)
   list))
 (min
  (function
   ((or number marker)
    &rest
    (or number marker))
   number))
 (minibuffer-selected-window
  (function nil
	    (or window null)))
 (minibuffer-window
  (function
   (&optional frame)
   window))
 (mod
  (function
   ((or number marker)
    (or number marker))
   (or
    (integer 0 *)
    (float 0 *))))
 (mouse-movement-p
  (function
   (t)
   boolean))
 (multibyte-char-to-unibyte
  (function
   (fixnum)
   fixnum))
 (natnump
  (function
   (t)
   boolean))
 (next-window
  (function
   (&optional window t t)
   window))
 (nlistp
  (function
   (t)
   boolean))
 (not
  (function
   (t)
   boolean))
 (nth
  (function
   (integer list)
   t))
 (nthcdr
  (function
   (integer t)
   t))
 (null
  (function
   (t)
   boolean))
 (number-or-marker-p
  (function
   (t)
   boolean))
 (number-to-string
  (function
   (number)
   string))
 (numberp
  (function
   (t)
   boolean))
 (one-window-p
  (function
   (&optional t t)
   boolean))
 (overlayp
  (function
   (t)
   boolean))
 (parse-colon-path
  (function
   (string)
   cons))
 (plist-get
  (function
   (list t &optional t)
   t))
 (plist-member
  (function
   (list t &optional t)
   list))
 (point
  (function nil integer))
 (point-marker
  (function nil marker))
 (point-max
  (function nil integer))
 (point-min
  (function nil integer))
 (preceding-char
  (function nil fixnum))
 (previous-window
  (function
   (&optional window t t)
   window))
 (prin1-to-string
  (function
   (t &optional t t)
   string))
 (processp
  (function
   (t)
   boolean))
 (proper-list-p
  (function
   (t)
   boolean))
 (propertize
  (function
   (string &rest t)
   string))
 (radians-to-degrees
  (function
   (number)
   float))
 (rassoc
  (function
   (t list)
   list))
 (rassq
  (function
   (t list)
   list))
 (read-from-string
  (function
   (string &optional integer integer)
   cons))
 (recent-keys
  (function
   (&optional
    (or cons null))
   vector))
 (recursion-depth
  (function nil integer))
 (regexp-opt
  (function
   (list)
   string))
 (regexp-quote
  (function
   (string)
   string))
 (region-beginning
  (function nil integer))
 (region-end
  (function nil integer))
 (reverse
  (function
   (sequence)
   sequence))
 (round
  (function
   (number &optional number)
   integer))
 (safe-length
  (function
   (t)
   integer))
 (selected-frame
  (function nil frame))
 (selected-window
  (function nil window))
 (sequencep
  (function
   (t)
   boolean))
 (sin
  (function
   (number)
   float))
 (sqrt
  (function
   (number)
   float))
 (standard-case-table
  (function nil char-table))
 (standard-syntax-table
  (function nil char-table))
 (string
  (function
   (&rest fixnum)
   string))
 (string-as-multibyte
  (function
   (string)
   string))
 (string-as-unibyte
  (function
   (string)
   string))
 (string-equal
  (function
   ((or string symbol)
    (or string symbol))
   boolean))
 (string-lessp
  (function
   ((or string symbol)
    (or string symbol))
   boolean))
 (string-make-multibyte
  (function
   (string)
   string))
 (string-make-unibyte
  (function
   (string)
   string))
 (string-search
  (function
   (string string &optional integer)
   (or integer null)))
 (string-to-char
  (function
   (string)
   fixnum))
 (string-to-multibyte
  (function
   (string)
   string))
 (string-to-number
  (function
   (string &optional integer)
   number))
 (string-to-syntax
  (function
   (string)
   (or cons null)))
 (string<
  (function
   ((or string symbol)
    (or string symbol))
   boolean))
 (string=
  (function
   ((or string symbol)
    (or string symbol))
   boolean))
 (stringp
  (function
   (t)
   boolean))
 (subrp
  (function
   (t)
   boolean))
 (substring
  (function
   ((or string vector)
    &optional integer integer)
   (or string vector)))
 (sxhash
  (function
   (t)
   integer))
 (sxhash-eq
  (function
   (t)
   integer))
 (sxhash-eql
  (function
   (t)
   integer))
 (sxhash-equal
  (function
   (t)
   integer))
 (symbol-function
  (function
   (symbol)
   t))
 (symbol-name
  (function
   (symbol)
   string))
 (symbol-plist
  (function
   (symbol)
   list))
 (symbol-value
  (function
   (symbol)
   t))
 (symbolp
  (function
   (t)
   boolean))
 (syntax-table
  (function nil char-table))
 (syntax-table-p
  (function
   (t)
   boolean))
 (tan
  (function
   (number)
   float))
 (this-command-keys
  (function nil string))
 (this-command-keys-vector
  (function nil vector))
 (this-single-command-keys
  (function nil vector))
 (this-single-command-raw-keys
  (function nil vector))
 (time-convert
  (function
   ((or number list)
    &optional
    (or symbol integer))
   (or cons number)))
 (truncate
  (function
   (number &optional number)
   integer))
 (type-of
  (function
   (t)
   symbol))
 (unibyte-char-to-multibyte
  (function
   (fixnum)
   fixnum))
 (upcase
  (function
   ((or fixnum string))
   (or fixnum string)))
 (user-full-name
  (function
   (&optional integer)
   (or string null)))
 (user-login-name
  (function
   (&optional integer)
   (or string null)))
 (user-original-login-name
  (function
   (&optional integer)
   (or string null)))
 (user-real-login-name
  (function nil string))
 (user-real-uid
  (function nil integer))
 (user-uid
  (function nil integer))
 (vconcat
  (function
   (&rest sequence)
   vector))
 (vector
  (function
   (&rest t)
   vector))
 (vectorp
  (function
   (t)
   boolean))
 (visible-frame-list
  (function nil list))
 (wholenump
  (function
   (t)
   boolean))
 (window-configuration-p
  (function
   (t)
   boolean))
 (window-live-p
  (function
   (t)
   boolean))
 (window-valid-p
  (function
   (t)
   boolean))
 (windowp
  (function
   (t)
   boolean))
 (zerop
  (function
   (number)
   boolean))
 (comp-hint-fixnum
  (function
   (t)
   fixnum))
 (comp-hint-cons
  (function
   (t)
   cons))
 (throw
  (function
   (t t)
   nil))
 (error
  (function
   (string &rest t)
   nil))
 (signal
  (function
   (symbol t)
   nil)))

Documentation

Alist used for type propagation.

Source Code

;; Defined in /usr/src/emacs/lisp/emacs-lisp/comp.el.gz
;; FIXME this probably should not be here but... good for now.
(defconst comp-known-type-specifiers
  `(
    ;; Functions we can trust not to be or if redefined should expose
    ;; the same type.  Vast majority of these is either pure or
    ;; primitive, the original list is the union of pure +
    ;; side-effect-free-fns + side-effect-and-error-free-fns:
    (% (function ((or number marker) (or number marker)) number))
    (* (function (&rest (or number marker)) number))
    (+ (function (&rest (or number marker)) number))
    (- (function (&rest (or number marker)) number))
    (/ (function ((or number marker) &rest (or number marker)) number))
    (/= (function ((or number marker) (or number marker)) boolean))
    (1+ (function ((or number marker)) number))
    (1- (function ((or number marker)) number))
    (< (function ((or number marker) &rest (or number marker)) boolean))
    (<= (function ((or number marker) &rest (or number marker)) boolean))
    (= (function ((or number marker) &rest (or number marker)) boolean))
    (> (function ((or number marker) &rest (or number marker)) boolean))
    (>= (function ((or number marker) &rest (or number marker)) boolean))
    (abs (function (number) number))
    (acos (function (number) float))
    (append (function (&rest t) t))
    (aref (function (t fixnum) t))
    (arrayp (function (t) boolean))
    (ash (function (integer integer) integer))
    (asin (function (number) float))
    (assq (function (t list) list))
    (atan (function (number &optional number) float))
    (atom (function (t) boolean))
    (bignump (function (t) boolean))
    (bobp (function () boolean))
    (bolp (function () boolean))
    (bool-vector-count-consecutive (function (bool-vector boolean integer) fixnum))
    (bool-vector-count-population (function (bool-vector) fixnum))
    (bool-vector-not (function (bool-vector &optional bool-vector) bool-vector))
    (bool-vector-p (function (t) boolean))
    (bool-vector-subsetp (function (bool-vector bool-vector) boolean))
    (boundp (function (symbol) boolean))
    (buffer-end (function ((or number marker)) integer))
    (buffer-file-name (function (&optional buffer) (or string null)))
    (buffer-list (function (&optional frame) list))
    (buffer-local-variables (function (&optional buffer) list))
    (buffer-modified-p (function (&optional buffer) boolean))
    (buffer-size (function (&optional buffer) integer))
    (buffer-string (function () string))
    (buffer-substring (function ((or integer marker) (or integer marker)) string))
    (bufferp (function (t) boolean))
    (byte-code-function-p (function (t) boolean))
    (capitalize (function (or integer string) (or integer string)))
    (car (function (list) t))
    (car-less-than-car (function (list list) boolean))
    (car-safe (function (t) t))
    (case-table-p (function (t) boolean))
    (cdr (function (list) t))
    (cdr-safe (function (t) t))
    (ceiling (function (number &optional number) integer))
    (char-after (function (&optional (or marker integer)) (or fixnum null)))
    (char-before (function (&optional (or marker integer)) (or fixnum null)))
    (char-equal (function (integer integer) boolean))
    (char-or-string-p (function (t) boolean))
    (char-to-string (function (fixnum) string))
    (char-width (function (fixnum) fixnum))
    (characterp (function (t &optional t) boolean))
    (charsetp (function (t) boolean))
    (commandp (function (t &optional t) boolean))
    (compare-strings (function (string (or integer marker null) (or integer marker null) string (or integer marker null) (or integer marker null) &optional t) (or (member t) fixnum)))
    (concat (function (&rest sequence) string))
    (cons (function (t t) cons))
    (consp (function (t) boolean))
    (coordinates-in-window-p (function (cons window) boolean))
    (copy-alist (function (list) list))
    (copy-marker (function (&optional (or integer marker) boolean) marker))
    (copy-sequence (function (sequence) sequence))
    (copysign (function (float float) float))
    (cos (function (number) float))
    (count-lines (function ((or integer marker) (or integer marker) &optional t) integer))
    (current-buffer (function () buffer))
    (current-global-map (function () cons))
    (current-indentation (function () integer))
    (current-local-map (function () (or cons null)))
    (current-minor-mode-maps (function () (or cons null)))
    (current-time (function () cons))
    (current-time-string (function (&optional (or number list)
                                              (or symbol string cons integer))
                                   string))
    (current-time-zone (function (&optional (or number list)
                                            (or symbol string cons integer))
                                 cons))
    (custom-variable-p (function (symbol) boolean))
    (decode-char (function (cons t) (or fixnum null)))
    (decode-time (function (&optional (or number list)
                                      (or symbol string cons integer)
                                      symbol)
                           cons))
    (default-boundp (function (symbol) boolean))
    (default-value (function (symbol) t))
    (degrees-to-radians (function (number) float))
    (documentation (function ((or function symbol subr) &optional t) (or null string)))
    (downcase (function ((or fixnum string)) (or fixnum string)))
    (elt (function (sequence integer) t))
    (encode-char (function (fixnum symbol) (or fixnum null)))
    (encode-time (function (cons &rest t) cons))
    (eobp (function () boolean))
    (eolp (function () boolean))
    (eq (function (t t) boolean))
    (eql (function (t t) boolean))
    (equal (function (t t) boolean))
    (error-message-string (function (list) string))
    (eventp (function (t) boolean))
    (exp (function (number) float))
    (expt (function (number number) float))
    (fboundp (function (symbol) boolean))
    (fceiling (function (float) float))
    (featurep (function (symbol &optional symbol) boolean))
    (ffloor (function (float) float))
    (file-directory-p (function (string) boolean))
    (file-exists-p (function (string) boolean))
    (file-locked-p (function (string) boolean))
    (file-name-absolute-p (function (string) boolean))
    (file-newer-than-file-p (function (string string) boolean))
    (file-readable-p (function (string) boolean))
    (file-symlink-p (function (string) boolean))
    (file-writable-p (function (string) boolean))
    (fixnump (function (t) boolean))
    (float (function (number) float))
    (float-time (function (&optional (or number list)) float))
    (floatp (function (t) boolean))
    (floor (function (number &optional number) integer))
    (following-char (function () fixnum))
    (format (function (string &rest t) string))
    (format-time-string (function (string &optional (or number list)
                                          (or symbol string cons integer))
                                  string))
    (frame-first-window (function ((or frame window)) window))
    (frame-root-window (function (&optional (or frame window)) window))
    (frame-selected-window (function (&optional (or frame window)) window))
    (frame-visible-p (function (frame) boolean))
    (framep (function (t) boolean))
    (fround (function (float) float))
    (ftruncate (function (float) float))
    (get (function (symbol symbol) t))
    (get-buffer (function ((or buffer string)) (or buffer null)))
    (get-buffer-window (function (&optional (or buffer string) (or symbol (integer 0 0))) (or null window)))
    (get-file-buffer (function (string) (or null buffer)))
    (get-largest-window (function (&optional t t t) (or window null)))
    (get-lru-window (function (&optional t t t) (or window null)))
    (getenv (function (string &optional frame) (or null string)))
    (gethash (function (t hash-table &optional t) t))
    (hash-table-count (function (hash-table) integer))
    (hash-table-p (function (t) boolean))
    (identity (function (t) t))
    (ignore (function (&rest t) null))
    (int-to-string (function (number) string))
    (integer-or-marker-p (function (t) boolean))
    (integerp (function (t) boolean))
    (interactive-p (function () boolean))
    (intern-soft (function ((or string symbol) &optional vector) symbol))
    (invocation-directory (function () string))
    (invocation-name (function () string))
    (isnan (function (float) boolean))
    (keymap-parent (function (cons) (or cons null)))
    (keymapp (function (t) boolean))
    (keywordp (function (t) boolean))
    (last (function (list &optional integer) list))
    (lax-plist-get (function (list t) t))
    (ldexp (function (number integer) float))
    (length (function (t) (integer 0 *)))
    (length< (function (sequence fixnum) boolean))
    (length= (function (sequence fixnum) boolean))
    (length> (function (sequence fixnum) boolean))
    (line-beginning-position (function (&optional integer) integer))
    (line-end-position (function (&optional integer) integer))
    (list (function (&rest t) list))
    (listp (function (t) boolean))
    (local-variable-if-set-p (function (symbol &optional buffer) boolean))
    (local-variable-p (function (symbol &optional buffer) boolean))
    (locale-info (function ((member codeset days months paper)) (or null string)))
    (log (function (number number) float))
    (log10 (function (number) float))
    (logand (function (&rest (or integer marker)) integer))
    (logb (function (number) integer))
    (logcount (function (integer) integer))
    (logior (function (&rest (or integer marker)) integer))
    (lognot (function (integer) integer))
    (logxor (function (&rest (or integer marker)) integer))
    ;; (lsh (function ((integer ,most-negative-fixnum *) integer) integer)) ?
    (lsh (function (integer integer) integer))
    (make-byte-code (function ((or fixnum list) string vector integer &optional string t &rest t) vector))
    (make-list (function (integer t) list))
    (make-marker (function () marker))
    (make-string (function (integer fixnum &optional t) string))
    (make-symbol (function (string) symbol))
    (mark (function (&optional t) (or integer null)))
    (mark-marker (function () marker))
    (marker-buffer (function (marker) (or buffer null)))
    (markerp (function (t) boolean))
    (max (function ((or number marker) &rest (or number marker)) number))
    (max-char (function (&optional t) fixnum))
    (member (function (t list) list))
    (memory-limit (function () integer))
    (memq (function (t list) list))
    (memql (function (t list) list))
    (min (function ((or number marker) &rest (or number marker)) number))
    (minibuffer-selected-window (function () (or window null)))
    (minibuffer-window (function (&optional frame) window))
    (mod (function ((or number marker) (or number marker)) (or (integer 0 *) (float 0 *))))
    (mouse-movement-p (function (t) boolean))
    (multibyte-char-to-unibyte (function (fixnum) fixnum))
    (natnump (function (t) boolean))
    (next-window (function (&optional window t t) window))
    (nlistp (function (t) boolean))
    (not (function (t) boolean))
    (nth (function (integer list) t))
    (nthcdr (function (integer t) t))
    (null (function (t) boolean))
    (number-or-marker-p (function (t) boolean))
    (number-to-string (function (number) string))
    (numberp (function (t) boolean))
    (one-window-p (function (&optional t t) boolean))
    (overlayp (function (t) boolean))
    (parse-colon-path (function (string) cons))
    (plist-get (function (list t &optional t) t))
    (plist-member (function (list t &optional t) list))
    (point (function () integer))
    (point-marker (function () marker))
    (point-max (function () integer))
    (point-min (function () integer))
    (preceding-char (function () fixnum))
    (previous-window (function (&optional window t t) window))
    (prin1-to-string (function (t &optional t t) string))
    (processp (function (t) boolean))
    (proper-list-p (function (t) boolean))
    (propertize (function (string &rest t) string))
    (radians-to-degrees (function (number) float))
    (rassoc (function (t list) list))
    (rassq (function (t list) list))
    (read-from-string (function (string &optional integer integer) cons))
    (recent-keys (function (&optional (or cons null)) vector))
    (recursion-depth (function () integer))
    (regexp-opt (function (list) string))
    (regexp-quote (function (string) string))
    (region-beginning (function () integer))
    (region-end (function () integer))
    (reverse (function (sequence) sequence))
    (round (function (number &optional number) integer))
    (safe-length (function (t) integer))
    (selected-frame (function () frame))
    (selected-window (function () window))
    (sequencep (function (t) boolean))
    (sin (function (number) float))
    (sqrt (function (number) float))
    (standard-case-table (function () char-table))
    (standard-syntax-table (function () char-table))
    (string (function (&rest fixnum) string))
    (string-as-multibyte (function (string) string))
    (string-as-unibyte (function (string) string))
    (string-equal (function ((or string symbol) (or string symbol)) boolean))
    (string-lessp (function ((or string symbol) (or string symbol)) boolean))
    (string-make-multibyte (function (string) string))
    (string-make-unibyte (function (string) string))
    (string-search (function (string string &optional integer) (or integer null)))
    (string-to-char (function (string) fixnum))
    (string-to-multibyte (function (string) string))
    (string-to-number (function (string &optional integer) number))
    (string-to-syntax (function (string) (or cons null)))
    (string< (function ((or string symbol) (or string symbol)) boolean))
    (string= (function ((or string symbol) (or string symbol)) boolean))
    (stringp (function (t) boolean))
    (subrp (function (t) boolean))
    (substring (function ((or string vector) &optional integer integer) (or string vector)))
    (sxhash (function (t) integer))
    (sxhash-eq (function (t) integer))
    (sxhash-eql (function (t) integer))
    (sxhash-equal (function (t) integer))
    (symbol-function (function (symbol) t))
    (symbol-name (function (symbol) string))
    (symbol-plist (function (symbol) list))
    (symbol-value (function (symbol) t))
    (symbolp (function (t) boolean))
    (syntax-table (function () char-table))
    (syntax-table-p (function (t) boolean))
    (tan (function (number) float))
    (this-command-keys (function () string))
    (this-command-keys-vector (function () vector))
    (this-single-command-keys (function () vector))
    (this-single-command-raw-keys (function () vector))
    (time-convert (function ((or number list) &optional (or symbol integer))
                            (or cons number)))
    (truncate (function (number &optional number) integer))
    (type-of (function (t) symbol))
    (unibyte-char-to-multibyte (function (fixnum) fixnum)) ;; byte is fixnum
    (upcase (function ((or fixnum string)) (or fixnum string)))
    (user-full-name (function (&optional integer) (or string null)))
    (user-login-name (function (&optional integer) (or string null)))
    (user-original-login-name (function (&optional integer) (or string null)))
    (user-real-login-name (function () string))
    (user-real-uid (function () integer))
    (user-uid (function () integer))
    (vconcat (function (&rest sequence) vector))
    (vector (function (&rest t) vector))
    (vectorp (function (t) boolean))
    (visible-frame-list (function () list))
    (wholenump (function (t) boolean))
    (window-configuration-p (function (t) boolean))
    (window-live-p (function (t) boolean))
    (window-valid-p (function (t) boolean))
    (windowp (function (t) boolean))
    (zerop (function (number) boolean))
    ;; Type hints
    (comp-hint-fixnum (function (t) fixnum))
    (comp-hint-cons (function (t) cons))
    ;; Non returning functions
    (throw (function (t t) nil))
    (error (function (string &rest t) nil))
    (signal (function (symbol t) nil)))
  "Alist used for type propagation.")