clojure.core.typed.util-vars
*verbose-forms*
dynamic
If true, print complete forms in error messages. Bind around a type checking form like cf or check-ns. eg. (binding [*verbose-forms* true] (cf ['deep ['deep ['deep ['deep]]]] Number)) ;=> <full form in error>
*verbose-types*
dynamic
If true, print fully qualified types in error messages and return values. Bind around a type checking form like cf or check-ns. eg. (binding [*verbose-types* true] (cf 1 Number)) ;=> java.lang.Number