Function: comp-cstr-ctxt-typeof-types

comp-cstr-ctxt-typeof-types is a byte-compiled function defined in comp-cstr.el.gz.

Signature

(comp-cstr-ctxt-typeof-types comp-cstr-ctxt-typeof-types X)

Documentation

Access slot "typeof-types" of comp-cstr-ctxt struct X.

Type hierarchy.

Source Code

;; Defined in /usr/src/emacs/lisp/emacs-lisp/comp-cstr.el.gz
(cl-defstruct comp-cstr-ctxt
  (typeof-types (comp--compute-typeof-types)
                :type list
                :documentation "Type hierarchy.")
  (pred-type-h (comp--compute--pred-type-h)
               :type hash-table
               :documentation "Hash pred -> type.")
  (union-typesets-mem (make-hash-table :test #'equal) :type hash-table
                      :documentation "Serve memoization for
`comp--union-typesets'.")
  ;; TODO we should be able to just cons hash this.
  (common-supertype-mem (make-hash-table :test #'equal) :type hash-table
                        :documentation "Serve memoization for
`comp-ctxt-common-supertype-mem'.")
  (subtype-p-mem (make-hash-table :test #'equal) :type hash-table
                 :documentation "Serve memoization for
`comp-cstr-ctxt-subtype-p-mem'.")
  (union-1-mem-no-range (make-hash-table :test #'equal) :type hash-table
                        :documentation "Serve memoization for
`comp--cstr-union-1'.")
  (union-1-mem-range (make-hash-table :test #'equal) :type hash-table
                     :documentation "Serve memoization for
`comp--cstr-union-1'.")
  (intersection-mem (make-hash-table :test #'equal) :type hash-table
                    :documentation "Serve memoization for
`intersection-mem'."))