(contains-key-type-classification type key)
(exact-value-type? type)
(ground-accepts-value? type value)
(leaf-overlap? source-type target-type)
(map-contains-key-classification type key)
(map-value-satisfies-type? value map-type)
(non-int-numeric-ground-type? type)
(numeric-ground-type? type)
(numeric-leaf-type? type)
(path-key type)
(refine-type-by-contains-key type key polarity)
(set-value-satisfies-type? value members)
(type-compatible-map-value? value-type expected-type)
(value-satisfies-type? value type)
(with-map-path cast-result key)
cljdoc builds & hosts documentation for Clojure/Script libraries