store/[org.clojure/core.typed "0.2.82"] clj::clojure.core.typed.test.difference/not-type-subtype

Source

(deftest not-type-subtype
  (is-clj (not (subtype? (NotType-maker -nil) -nil)))
  (is-clj (subtype? (NotType-maker -nil) (NotType-maker -nil)))
  (is-clj (not (subtype? (NotType-maker -nil) (NotType-maker -false))))
  (is-clj (subtype? (NotType-maker (Un -false -nil)) (NotType-maker -false))))

Uses on crossclj