Function: comp--pred-to-pos-cstr

comp--pred-to-pos-cstr is a byte-compiled function defined in comp.el.gz.

Signature

(comp--pred-to-pos-cstr PREDICATE)

Documentation

Given PREDICATE, return the corresponding positive constraint.

Source Code

;; Defined in /usr/src/emacs/lisp/emacs-lisp/comp.el.gz
(defun comp--pred-to-pos-cstr (predicate)
  "Given PREDICATE, return the corresponding positive constraint."
  (or (car-safe (gethash predicate comp-known-predicates-h))
      (gethash predicate (comp-cstr-ctxt-pred-type-h comp-ctxt))))