gistfile1.clj

(:typelogic.core/var unquote _0)
(:typelogic.core/var unquote-splicing _0)
(:typelogic.core/var *print-length* nil)
(:typelogic.core/var list clojure.lang.IFn)
((:typelogic.core/var method-sig (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.reflect.Method)
 (clojure.lang.PersistentVector <:< _1))
((:typelogic.core/var cons (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (clojure.lang.ISeq <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
(:typelogic.core/var *print-level* nil)
(:typelogic.core/var *verbose-defrecords* java.lang.Boolean)
((:typelogic.core/var first (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1))
((:typelogic.core/var next (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var rest (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var
  conj
  (:typelogic.core/fn ((_0 _1) _0) ((_0 _1 (:typelogic.core/seq)) _0)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.IPersistentCollection <:< _0)
 (clojure.lang.ISeq <:< _2)
 (_1 <:< java.lang.Object)
 (_0 <:< clojure.lang.IPersistentCollection)
 (java.lang.Object <:< _1))
(:typelogic.core/var prim->class clojure.lang.PersistentHashMap)
((:typelogic.core/var second (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _2)
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1))
((:typelogic.core/var ffirst (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Object)
 (java.lang.Object <:< _2)
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1))
((:typelogic.core/var nfirst (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Object)
 (java.lang.Object <:< _2)
 (_0 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var fnext (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _2)
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1))
((:typelogic.core/var nnext (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _2)
 (_0 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var seq (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var instance? (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< java.lang.Class)
 (boolean <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var seq? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var char? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var string? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var map? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var vector? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
(:typelogic.core/var char-escape-string clojure.lang.PersistentArrayMap)
((:typelogic.core/var with-meta (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (clojure.lang.IObj <:< _2)
 (_1 <:< clojure.lang.IPersistentMap)
 (_0 <:< clojure.lang.IObj))
((:typelogic.core/var last (:typelogic.core/fn ((_0) _1)))
 :-
 (clojure.lang.ISeq <:< _2)
 (clojure.lang.ISeq <:< _0)
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1))
((:typelogic.core/var
  construct-proxy
  (:typelogic.core/fn ((_0 (:typelogic.core/seq)) _1)))
 :-
 (_2 <:< java.lang.Object)
 (_0 <:< java.lang.Class)
 ([Ljava.lang.Object; <:< _2)
 (java.lang.Object <:< _1))
((:typelogic.core/var init-proxy (:typelogic.core/fn ((_0 _1) _0)))
 :-
 (_1 <:< clojure.lang.IPersistentMap)
 (_0 <:< clojure.lang.IProxy))
((:typelogic.core/var update-proxy (:typelogic.core/fn ((_0 _1) _0)))
 :-
 (_1 <:< clojure.lang.IPersistentMap)
 (_0 <:< clojure.lang.IProxy))
(:typelogic.core/var char-name-string clojure.lang.PersistentArrayMap)
((:typelogic.core/var proxy-mappings (:typelogic.core/fn ((_0) _1)))
 :-
 (clojure.lang.IPersistentMap <:< _1)
 (_0 <:< clojure.lang.IProxy))
(:typelogic.core/var
 primitives-classnames
 clojure.lang.PersistentArrayMap)
((:typelogic.core/var cast (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< java.lang.Class)
 (java.lang.Object <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var to-array (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 ([Ljava.lang.Object; <:< _1))
((:typelogic.core/var
  vector
  (:typelogic.core/fn
   (() _0)
   ((_1) _2)
   ((_3 _4) _5)
   ((_6 _7 _8) _9)
   ((_10 _11 _12 _13) _14)
   ((_15 _16 _17 _18 (:typelogic.core/seq)) _19)))
 :-
 (clojure.lang.ISeq <:< _20)
 (_15 <:< java.lang.Object)
 (clojure.lang.PersistentVector <:< _2)
 (clojure.lang.PersistentVector <:< _9)
 (_20 <:< java.lang.Object)
 (clojure.lang.PersistentVector <:< _0)
 (_16 <:< java.lang.Object)
 (_18 <:< java.lang.Object)
 (_17 <:< java.lang.Object)
 (clojure.lang.IPersistentVector <:< _19)
 (clojure.lang.PersistentVector <:< _14)
 (clojure.lang.PersistentVector <:< _5))
((:typelogic.core/var
  hash-map
  (:typelogic.core/fn (() _0) (((:typelogic.core/seq)) _1)))
 :-
 (clojure.lang.PersistentArrayMap <:< _0)
 (_2 <:< clojure.lang.ISeq))
((:typelogic.core/var
  proxy-call-with-super
  (:typelogic.core/fn
   (((:typelogic.core/fn clojure.lang.LazySeq@9e3a6734 . _1) _0 _2)
    _0)))
 :-
 (clojure.lang.IPersistentMap <:< _3)
 (nil <:< _3)
 (_0 <:< clojure.lang.IProxy))
((:typelogic.core/var
  hash-set
  (:typelogic.core/fn (() _0) (((:typelogic.core/seq)) _1)))
 :-
 (_2 <:< clojure.lang.ISeq)
 (clojure.lang.PersistentHashSet <:< _0)
 (clojure.lang.PersistentHashSet <:< _1))
((:typelogic.core/var record? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var
  sorted-map
  (:typelogic.core/fn (((:typelogic.core/seq)) _0)))
 :-
 (_1 <:< java.util.Map)
 (clojure.lang.IPersistentMap <:< _0))
((:typelogic.core/var
  sorted-map-by
  (:typelogic.core/fn ((_0 (:typelogic.core/seq)) _1)))
 :-
 (_2 <:< clojure.lang.ISeq)
 (_0 <:< java.util.Comparator))
(:typelogic.core/var print-initialized java.lang.Boolean)
((:typelogic.core/var
  sorted-set
  (:typelogic.core/fn (((:typelogic.core/seq)) _0)))
 :-
 (_1 <:< clojure.lang.ISeq)
 (clojure.lang.PersistentTreeSet <:< _0))
((:typelogic.core/var
  sorted-set-by
  (:typelogic.core/fn ((_0 (:typelogic.core/seq)) _1)))
 :-
 (_2 <:< clojure.lang.ISeq)
 (_0 <:< java.util.Comparator))
(:typelogic.core/var ams clojure.lang.PersistentArrayMap)
((:typelogic.core/var super-chain (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Class)
 (_1 <:< nil)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var
  pref
  (:typelogic.core/fn (() _0) ((_1) _1) ((_2 _2) _2)))
 :-
 (_2 <:< java.lang.Class)
 (nil <:< _0))
((:typelogic.core/var not (:typelogic.core/fn ((_0) _1)))
 :-
 (_1 <:< java.lang.Boolean))
((:typelogic.core/var some? (:typelogic.core/fn ((_0) _1)))
 :-
 (_1 <:< java.lang.Boolean))
((:typelogic.core/var
  find-protocol-method
  (:typelogic.core/fn ((_0 _1 _2) _3)))
 :-
 (java.lang.Object <:< _3)
 (_4 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
((:typelogic.core/var protocol? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< boolean)
 (boolean <:< _1))
((:typelogic.core/var extends? (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (java.lang.Object <:< _3)
 (_3 <:< java.lang.Object)
 (boolean <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var extenders (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var symbol? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var satisfies? (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (boolean <:< _2)
 (_3 <:< boolean))
((:typelogic.core/var keyword? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var spread (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _2)
 (_1 <:< nil)
 (clojure.lang.ISeq <:< _0)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var
  list*
  (:typelogic.core/fn
   ((_0) _1)
   ((_2 _3) _4)
   ((_5 _6 _7) _8)
   ((_9 _10 _11 _12) _13)
   ((_14 _15 _16 _17 (:typelogic.core/seq)) _18)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _19)
 (clojure.lang.ISeq <:< _8)
 (_3 <:< java.lang.Object)
 (_15 <:< java.lang.Object)
 (_10 <:< java.lang.Object)
 (_12 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _4)
 (_14 <:< java.lang.Object)
 (_9 <:< java.lang.Object)
 (_5 <:< java.lang.Object)
 (_19 <:< nil)
 (clojure.lang.ISeq <:< _13)
 (_19 <:< java.lang.Object)
 (_6 <:< java.lang.Object)
 (_16 <:< java.lang.Object)
 (_11 <:< java.lang.Object)
 (_0 <:< java.lang.Object)
 (_17 <:< java.lang.Object)
 (_7 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _18)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var
  apply
  (:typelogic.core/fn
   ((_0 _1) _2)
   ((_3 _4 _5) _6)
   ((_7 _8 _9 _10) _11)
   ((_12 _13 _14 _15 _16) _17)
   ((_18 _19 _20 _21 _22 (:typelogic.core/seq)) _23)))
 :-
 (_24 <:< java.lang.Object)
 (java.lang.Object <:< _11)
 (_12 <:< clojure.lang.IFn)
 (_15 <:< java.lang.Object)
 (_7 <:< clojure.lang.IFn)
 (_10 <:< java.lang.Object)
 (_21 <:< java.lang.Object)
 (java.lang.Object <:< _2)
 (_14 <:< java.lang.Object)
 (_9 <:< java.lang.Object)
 (_5 <:< java.lang.Object)
 (_4 <:< java.lang.Object)
 (java.lang.Object <:< _23)
 (_19 <:< java.lang.Object)
 (_18 <:< clojure.lang.IFn)
 (_20 <:< java.lang.Object)
 (_8 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _24)
 (_16 <:< java.lang.Object)
 (_0 <:< clojure.lang.IFn)
 (java.lang.Object <:< _6)
 (_22 <:< java.lang.Object)
 (_1 <:< java.lang.Object)
 (java.lang.Object <:< _17)
 (_3 <:< clojure.lang.IFn)
 (_13 <:< java.lang.Object))
((:typelogic.core/var
  vary-meta
  (:typelogic.core/fn ((_0 _1 (:typelogic.core/seq)) _2)))
 :-
 (clojure.lang.IObj <:< _2)
 (java.lang.Object <:< _3)
 (_1 <:< clojure.lang.IFn)
 (_0 <:< clojure.lang.IObj)
 (clojure.lang.ISeq <:< _3))
((:typelogic.core/var chunk-buffer (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< int)
 (clojure.lang.ChunkBuffer <:< _1))
((:typelogic.core/var chunk-append (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (void <:< _2)
 (_0 <:< clojure.lang.ChunkBuffer)
 (_1 <:< java.lang.Object))
((:typelogic.core/var chunk (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.ChunkBuffer)
 (clojure.lang.IChunk <:< _1))
((:typelogic.core/var chunk-first (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.IChunkedSeq)
 (clojure.lang.IChunk <:< _1))
((:typelogic.core/var chunk-rest (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.IChunkedSeq)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var chunk-next (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.IChunkedSeq)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var chunked-seq? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var delay? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var force (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1))
((:typelogic.core/var identical? (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (boolean <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  =
  (:typelogic.core/fn
   ((_0) _1)
   ((_2 _3) _4)
   ((_5 _5 (:typelogic.core/seq)) _6)))
 :-
 (_2 <:< java.lang.Object)
 (_7 <:< boolean)
 (_5 <:< java.lang.Object)
 (boolean <:< _4)
 (_6 <:< boolean)
 (_7 <:< java.lang.Object)
 (java.lang.Boolean <:< _1)
 (_3 <:< boolean))
((:typelogic.core/var emit-impl (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Object)
 (_0 <:< java.lang.Object)
 (nil <:< _2)
 (clojure.lang.PersistentVector <:< _1))
((:typelogic.core/var compare (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (int <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
((:typelogic.core/var zero? (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< double)
 (boolean <:< _1))
((:typelogic.core/var count (:typelogic.core/fn ((_0) _1)))
 :-
 (int <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var int (:typelogic.core/fn ((_0) _1)))
 :-
 (int <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var
  nth
  (:typelogic.core/fn ((_0 _1) _2) ((_3 _4 _5) _6)))
 :-
 (_4 <:< int)
 (_3 <:< java.lang.Object)
 (_5 <:< java.lang.Object)
 (_1 <:< int)
 (java.lang.Object <:< _6)
 (_0 <:< java.lang.Object))
((:typelogic.core/var
  <
  (:typelogic.core/fn
   ((_0) _1)
   ((_2 _2) _3)
   ((_2 _2 (:typelogic.core/seq)) _3)))
 :-
 (clojure.lang.ISeq <:< _4)
 (java.lang.Object <:< _2)
 (_4 <:< java.lang.Object)
 (_2 <:< double)
 (boolean <:< _3)
 (java.lang.Boolean <:< _1)
 (_3 <:< java.lang.Boolean))
((:typelogic.core/var inc' (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< double)
 (double <:< _1))
((:typelogic.core/var inc (:typelogic.core/fn ((_0) _1)))
 :-
 (long <:< _1)
 (_0 <:< long))
((:typelogic.core/var
  +'
  (:typelogic.core/fn
   (() _0)
   ((_1) _2)
   ((_3 _4) _5)
   ((_3 _4 (:typelogic.core/seq)) _6)))
 :-
 (double <:< _5)
 (java.lang.Object <:< _2)
 (_4 <:< long)
 (_3 <:< double)
 (java.lang.Long <:< _0)
 (_7 <:< java.lang.Class)
 (_1 <:< java.lang.Object)
 (java.lang.Class <:< _7))
((:typelogic.core/var
  +
  (:typelogic.core/fn
   (() _0)
   ((_1) _2)
   ((_3 _4) _5)
   ((_3 _4 (:typelogic.core/seq)) _6)))
 :-
 (double <:< _5)
 (java.lang.Object <:< _2)
 (_3 <:< double)
 (_4 <:< java.lang.Object)
 (java.lang.Long <:< _0)
 (_7 <:< java.lang.Class)
 (_1 <:< java.lang.Object)
 (java.lang.Class <:< _7))
((:typelogic.core/var
  *'
  (:typelogic.core/fn
   (() _0)
   ((_1) _2)
   ((_3 _4) _5)
   ((_3 _4 (:typelogic.core/seq)) _6)))
 :-
 (_4 <:< double)
 (_3 <:< java.lang.Object)
 (double <:< _5)
 (java.lang.Object <:< _2)
 (java.lang.Long <:< _0)
 (_7 <:< java.lang.Class)
 (_1 <:< java.lang.Object)
 (java.lang.Class <:< _7))
((:typelogic.core/var
  *
  (:typelogic.core/fn
   (() _0)
   ((_1) _2)
   ((_3 _4) _5)
   ((_3 _4 (:typelogic.core/seq)) _6)))
 :-
 (_4 <:< double)
 (double <:< _5)
 (java.lang.Object <:< _2)
 (_3 <:< long)
 (java.lang.Long <:< _0)
 (_7 <:< java.lang.Class)
 (_1 <:< java.lang.Object)
 (java.lang.Class <:< _7))
((:typelogic.core/var
  /
  (:typelogic.core/fn
   ((_0) _1)
   ((_2 _0) _1)
   ((_2 _0 (:typelogic.core/seq)) _3)))
 :-
 (_2 <:< java.lang.Object)
 ((:typelogic.core/fn clojure.lang.LazySeq@94bca12f . <lvar:types'__31577>)
  <:<
  _4)
 (java.lang.Long <:< _2)
 (_0 <:< java.lang.Object)
 (java.lang.Number <:< _1))
((:typelogic.core/var
  -'
  (:typelogic.core/fn
   ((_0) _1)
   ((_2 _3) _4)
   ((_2 _3 (:typelogic.core/seq)) _5)))
 :-
 (_0 <:< double)
 (_3 <:< java.lang.Object)
 (_2 <:< double)
 (double <:< _4))
((:typelogic.core/var
  -
  (:typelogic.core/fn
   ((_0) _1)
   ((_2 _3) _4)
   ((_2 _3 (:typelogic.core/seq)) _5)))
 :-
 (_2 <:< java.lang.Object)
 (_0 <:< long)
 (_3 <:< long)
 (java.lang.Number <:< _4))
((:typelogic.core/var
  <=
  (:typelogic.core/fn
   ((_0) _1)
   ((_2 _2) _3)
   ((_2 _2 (:typelogic.core/seq)) _3)))
 :-
 (clojure.lang.ISeq <:< _4)
 (java.lang.Object <:< _2)
 (_4 <:< java.lang.Object)
 (_2 <:< double)
 (boolean <:< _3)
 (java.lang.Boolean <:< _1)
 (_3 <:< java.lang.Boolean))
((:typelogic.core/var
  >
  (:typelogic.core/fn
   ((_0) _1)
   ((_2 _2) _3)
   ((_2 _2 (:typelogic.core/seq)) _3)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _4)
 (java.lang.Object <:< _2)
 (_4 <:< java.lang.Object)
 (boolean <:< _3)
 (java.lang.Boolean <:< _1)
 (_3 <:< java.lang.Boolean))
((:typelogic.core/var
  >=
  (:typelogic.core/fn
   ((_0) _1)
   ((_2 _2) _3)
   ((_2 _2 (:typelogic.core/seq)) _3)))
 :-
 (clojure.lang.ISeq <:< _4)
 (java.lang.Object <:< _2)
 (_4 <:< java.lang.Object)
 (_2 <:< double)
 (boolean <:< _3)
 (java.lang.Boolean <:< _1)
 (_3 <:< java.lang.Boolean))
((:typelogic.core/var
  ==
  (:typelogic.core/fn
   ((_0) _1)
   ((_2 _2) _3)
   ((_2 _2 (:typelogic.core/seq)) _3)))
 :-
 (clojure.lang.ISeq <:< _4)
 (java.lang.Object <:< _2)
 (_4 <:< java.lang.Object)
 (_2 <:< double)
 (boolean <:< _3)
 (java.lang.Boolean <:< _1)
 (_3 <:< java.lang.Boolean))
((:typelogic.core/var
  max
  (:typelogic.core/fn
   ((_0) _0)
   ((_1 _2) _3)
   ((_1 _2 (:typelogic.core/seq)) _4)))
 :-
 (java.lang.Object <:< _3)
 (_2 <:< double)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  min
  (:typelogic.core/fn
   ((_0) _0)
   ((_1 _2) _3)
   ((_1 _2 (:typelogic.core/seq)) _4)))
 :-
 (long <:< _3)
 (_1 <:< long)
 (_2 <:< long))
((:typelogic.core/var dec' (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< double)
 (double <:< _1))
((:typelogic.core/var dec (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (java.lang.Number <:< _1))
((:typelogic.core/var unchecked-inc-int (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< int)
 (int <:< _1))
((:typelogic.core/var unchecked-inc (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< double)
 (double <:< _1))
((:typelogic.core/var unchecked-dec-int (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< int)
 (int <:< _1))
((:typelogic.core/var unchecked-dec (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (java.lang.Number <:< _1))
((:typelogic.core/var
  unchecked-negate-int
  (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< int)
 (int <:< _1))
((:typelogic.core/var
  unchecked-add-int
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< int)
 (int <:< _2)
 (_1 <:< int))
((:typelogic.core/var unchecked-add (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< long)
 (java.lang.Number <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  unchecked-subtract-int
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< int)
 (int <:< _2)
 (_1 <:< int))
((:typelogic.core/var
  unchecked-subtract
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< double)
 (double <:< _2)
 (_1 <:< long))
((:typelogic.core/var
  unchecked-multiply-int
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< int)
 (int <:< _2)
 (_1 <:< int))
((:typelogic.core/var
  unchecked-multiply
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< double)
 (double <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  unchecked-divide-int
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< int)
 (int <:< _2)
 (_1 <:< int))
((:typelogic.core/var
  unchecked-remainder-int
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< int)
 (int <:< _2)
 (_1 <:< int))
((:typelogic.core/var pos? (:typelogic.core/fn ((_0) _1)))
 :-
 (boolean <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var neg? (:typelogic.core/fn ((_0) _1)))
 :-
 (boolean <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var quot (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_1 <:< double)
 (java.lang.Number <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var rem (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< long)
 (java.lang.Number <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var rationalize (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Number)
 (java.lang.Number <:< _1))
((:typelogic.core/var bit-not (:typelogic.core/fn ((_0) _1)))
 :-
 (long <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var
  bit-and
  (:typelogic.core/fn ((_0 _1) _2) ((_0 _1 (:typelogic.core/seq)) _3)))
 :-
 (long <:< _2)
 (_0 <:< long)
 (_1 <:< long))
((:typelogic.core/var
  bit-or
  (:typelogic.core/fn ((_0 _1) _2) ((_0 _1 (:typelogic.core/seq)) _3)))
 :-
 (long <:< _2)
 (_0 <:< long)
 (_1 <:< long))
((:typelogic.core/var
  bit-xor
  (:typelogic.core/fn ((_0 _1) _2) ((_0 _1 (:typelogic.core/seq)) _3)))
 :-
 (long <:< _2)
 (_0 <:< long)
 (_1 <:< long))
((:typelogic.core/var
  bit-and-not
  (:typelogic.core/fn ((_0 _1) _2) ((_0 _1 (:typelogic.core/seq)) _3)))
 :-
 (long <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
((:typelogic.core/var bit-clear (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (long <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< long))
((:typelogic.core/var bit-set (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (long <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< long))
((:typelogic.core/var bit-flip (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (long <:< _2)
 (_0 <:< long)
 (_1 <:< long))
((:typelogic.core/var bit-test (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< long)
 (boolean <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var bit-shift-left (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (long <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  bit-shift-right
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (long <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  unsigned-bit-shift-right
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (long <:< _2)
 (_0 <:< long)
 (_1 <:< java.lang.Object))
((:typelogic.core/var integer? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var odd? (:typelogic.core/fn ((_0) _1)))
 :-
 (_1 <:< java.lang.Boolean))
((:typelogic.core/var constantly (:typelogic.core/fn ((_0) _1)))
 :-
 ((:typelogic.core/fn (((:typelogic.core/seq)) <lvar:return__40829>))
  <:<
  _1))
(:typelogic.core/var identity (:typelogic.core/fn ((_0) _0)))
((:typelogic.core/var peek (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1))
((:typelogic.core/var pop (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1))
((:typelogic.core/var contains? (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (java.lang.Object <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  get
  (:typelogic.core/fn ((_0 _1) _2) ((_3 _4 _5) _6)))
 :-
 (_3 <:< java.lang.Object)
 (java.lang.Object <:< _2)
 (_5 <:< java.lang.Object)
 (_4 <:< java.lang.Object)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  dissoc
  (:typelogic.core/fn
   ((_0) _0)
   ((_1 _2) _1)
   ((_1 _2 (:typelogic.core/seq)) _1)))
 :-
 (_2 <:< java.lang.Object)
 (_3 <:< java.lang.Object)
 (java.lang.Object <:< _2)
 (_1 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _3)
 (java.lang.Object <:< _1))
((:typelogic.core/var
  disj
  (:typelogic.core/fn
   ((_0) _0)
   ((_1 _2) _1)
   ((_1 _2 (:typelogic.core/seq)) _1)))
 :-
 (_2 <:< java.lang.Object)
 (_3 <:< java.lang.Object)
 (java.lang.Object <:< _2)
 (_1 <:< nil)
 (clojure.lang.IPersistentSet <:< _1)
 (clojure.lang.ISeq <:< _3)
 (_1 <:< clojure.lang.IPersistentSet))
((:typelogic.core/var find (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (java.lang.Object <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
((:typelogic.core/var keys (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var vals (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var key (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.util.Map$Entry)
 (java.lang.Object <:< _1))
((:typelogic.core/var val (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.util.Map$Entry)
 (java.lang.Object <:< _1))
((:typelogic.core/var rseq (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Reversible)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var namespace (:typelogic.core/fn ((_0) _1)))
 :-
 (java.lang.String <:< _1)
 (_0 <:< clojure.lang.Named))
((:typelogic.core/var
  remove-all-methods
  (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.MultiFn)
 (clojure.lang.MultiFn <:< _1))
((:typelogic.core/var remove-method (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (clojure.lang.MultiFn <:< _2)
 (_0 <:< clojure.lang.MultiFn)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  prefer-method
  (:typelogic.core/fn ((_0 _1 _2) _3)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.MultiFn <:< _3)
 (_0 <:< clojure.lang.MultiFn)
 (_1 <:< java.lang.Object))
((:typelogic.core/var methods (:typelogic.core/fn ((_0) _1)))
 :-
 (clojure.lang.IPersistentMap <:< _1)
 (_0 <:< clojure.lang.MultiFn))
((:typelogic.core/var get-method (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< clojure.lang.MultiFn)
 (_1 <:< java.lang.Object)
 (clojure.lang.IFn <:< _2))
((:typelogic.core/var prefers (:typelogic.core/fn ((_0) _1)))
 :-
 (clojure.lang.IPersistentMap <:< _1)
 (_0 <:< clojure.lang.MultiFn))
((:typelogic.core/var
  push-thread-bindings
  (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Associative)
 (void <:< _1))
((:typelogic.core/var pop-thread-bindings (:typelogic.core/fn (() _0)))
 :-
 (void <:< _0))
((:typelogic.core/var get-thread-bindings (:typelogic.core/fn (() _0)))
 :-
 (clojure.lang.Associative <:< _0))
((:typelogic.core/var find-var (:typelogic.core/fn ((_0) _1)))
 :-
 (clojure.lang.Var <:< _1)
 (_0 <:< clojure.lang.Symbol))
((:typelogic.core/var
  release-pending-sends
  (:typelogic.core/fn (() _0)))
 :-
 (int <:< _0))
((:typelogic.core/var add-watch (:typelogic.core/fn ((_0 _1 _2) _3)))
 :-
 (_2 <:< clojure.lang.IFn)
 (_0 <:< clojure.lang.IRef)
 (clojure.lang.IRef <:< _3)
 (_1 <:< java.lang.Object))
((:typelogic.core/var remove-watch (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< clojure.lang.IRef)
 (clojure.lang.IRef <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var agent-error (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Agent)
 (java.lang.Throwable <:< _1))
((:typelogic.core/var
  set-error-handler!
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< clojure.lang.Agent)
 (_1 <:< clojure.lang.IFn)
 (void <:< _2))
((:typelogic.core/var error-handler (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Agent)
 (clojure.lang.IFn <:< _1))
((:typelogic.core/var
  set-error-mode!
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< clojure.lang.Agent)
 (void <:< _2)
 (_1 <:< clojure.lang.Keyword))
((:typelogic.core/var error-mode (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Agent)
 (clojure.lang.Keyword <:< _1))
((:typelogic.core/var shutdown-agents (:typelogic.core/fn (() _0)))
 :-
 (void <:< _0))
((:typelogic.core/var
  swap!
  (:typelogic.core/fn
   ((_0 _1) _2)
   ((_3 _4 _5) _6)
   ((_7 _8 _9 _10) _11)
   ((_12 _13 _14 _15 (:typelogic.core/seq)) _16)))
 :-
 (_8 <:< clojure.lang.IFn)
 (_15 <:< java.lang.Object)
 (_10 <:< java.lang.Object)
 (_1 <:< clojure.lang.IFn)
 (_14 <:< java.lang.Object)
 (_9 <:< java.lang.Object)
 (_5 <:< java.lang.Object)
 (_12 <:< clojure.lang.Atom)
 (_17 <:< clojure.lang.ISeq)
 (_4 <:< clojure.lang.IFn)
 (java.lang.Object <:< _6)
 (_13 <:< clojure.lang.IFn)
 (_3 <:< clojure.lang.Atom)
 (_0 <:< clojure.lang.Atom)
 (_7 <:< clojure.lang.Atom))
((:typelogic.core/var
  compare-and-set!
  (:typelogic.core/fn ((_0 _1 _2) _3)))
 :-
 (_2 <:< java.lang.Object)
 (boolean <:< _3)
 (_1 <:< java.lang.Object)
 (_0 <:< clojure.lang.Atom))
((:typelogic.core/var reset! (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (java.lang.Object <:< _2)
 (_1 <:< java.lang.Object)
 (_0 <:< clojure.lang.Atom))
((:typelogic.core/var set-validator! (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< clojure.lang.IRef)
 (_1 <:< clojure.lang.IFn)
 (void <:< _2))
((:typelogic.core/var get-validator (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.IRef)
 (clojure.lang.IFn <:< _1))
((:typelogic.core/var
  alter-meta!
  (:typelogic.core/fn ((_0 _1 (:typelogic.core/seq)) _2)))
 :-
 (_1 <:< clojure.lang.IFn)
 (_0 <:< clojure.lang.IReference)
 (_3 <:< clojure.lang.ISeq)
 (clojure.lang.IPersistentMap <:< _2))
((:typelogic.core/var reset-meta! (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_1 <:< clojure.lang.IPersistentMap)
 (_0 <:< clojure.lang.IReference)
 (clojure.lang.IPersistentMap <:< _2))
((:typelogic.core/var
  commute
  (:typelogic.core/fn ((_0 _1 (:typelogic.core/seq)) _2)))
 :-
 (_0 <:< clojure.lang.Ref)
 (_1 <:< clojure.lang.IFn)
 (java.lang.Object <:< _2)
 (_3 <:< clojure.lang.ISeq))
((:typelogic.core/var
  alter
  (:typelogic.core/fn ((_0 _1 (:typelogic.core/seq)) _2)))
 :-
 (_0 <:< clojure.lang.Ref)
 (_1 <:< clojure.lang.IFn)
 (java.lang.Object <:< _2)
 (_3 <:< clojure.lang.ISeq))
((:typelogic.core/var ref-set (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< clojure.lang.Ref)
 (java.lang.Object <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var ref-history-count (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Ref)
 (int <:< _1))
((:typelogic.core/var
  ref-min-history
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 (_0 <:< clojure.lang.Ref)
 (_3 <:< int)
 (_2 <:< clojure.lang.Ref)
 (int <:< _1)
 (clojure.lang.Ref <:< _4))
((:typelogic.core/var
  ref-max-history
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 (_0 <:< clojure.lang.Ref)
 (_3 <:< int)
 (_2 <:< clojure.lang.Ref)
 (int <:< _1)
 (clojure.lang.Ref <:< _4))
((:typelogic.core/var ensure (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Ref)
 (java.lang.Object <:< _1))
((:typelogic.core/var
  partial
  (:typelogic.core/fn
   ((_0) _0)
   ((_1 _2) _3)
   ((_4 _5 _6) _7)
   ((_8 _9 _10 _11) _12)
   ((_13 _14 _15 _16 (:typelogic.core/seq)) _17)))
 :-
 (_8 <:< clojure.lang.IFn)
 (_2 <:< java.lang.Object)
 (_15 <:< java.lang.Object)
 (_10 <:< java.lang.Object)
 (_1 <:< clojure.lang.IFn)
 ((:typelogic.core/fn (((:typelogic.core/seq)) <lvar:return__69085>))
  <:<
  _3)
 ((:typelogic.core/fn (((:typelogic.core/seq)) <lvar:return__69169>))
  <:<
  _7)
 (_14 <:< java.lang.Object)
 (_9 <:< java.lang.Object)
 (_5 <:< java.lang.Object)
 (_6 <:< java.lang.Object)
 (_16 <:< java.lang.Object)
 (_4 <:< clojure.lang.IFn)
 (_11 <:< java.lang.Object)
 (_13 <:< clojure.lang.IFn)
 (_18 <:< java.lang.Object)
 ((:typelogic.core/fn (((:typelogic.core/seq)) <lvar:return__69379>))
  <:<
  _12)
 (clojure.lang.ISeq <:< _18)
 ((:typelogic.core/fn (((:typelogic.core/seq)) <lvar:return__69905>))
  <:<
  _17))
((:typelogic.core/var
  every?
  (:typelogic.core/fn (((:typelogic.core/fn ((_0) _1)) _2) _3)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _4)
 (clojure.lang.ISeq <:< _2)
 (java.lang.Object <:< _0)
 (_3 <:< java.lang.Boolean))
((:typelogic.core/var
  some
  (:typelogic.core/fn (((:typelogic.core/fn ((_0) _1)) _2) _1)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _2)
 (_1 <:< nil)
 (java.lang.Object <:< _0)
 (clojure.lang.ISeq <:< _3))
((:typelogic.core/var
  mapcat
  (:typelogic.core/fn ((_0 (:typelogic.core/seq)) _1)))
 :-
 (_2 <:< java.lang.Object)
 (_0 <:< java.lang.Object)
 (nil <:< _2)
 (java.lang.Object <:< _1))
(:typelogic.core/var remove (:typelogic.core/fn ((_0 _1) _2)))
((:typelogic.core/var
  drop-last
  (:typelogic.core/fn ((_0) _1) ((_2 _0) _1)))
 :-
 (java.lang.Long <:< _2)
 ((:typelogic.core/fn
   ((<lvar:return__74379> <lvar:param__74383>) <lvar:return__74379>))
  <:<
  _3))
((:typelogic.core/var take-last (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_2 <:< java.lang.Object)
 (_3 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _2)
 (_1 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _3))
((:typelogic.core/var split-at (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (clojure.lang.PersistentVector <:< _2))
((:typelogic.core/var split-with (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (clojure.lang.PersistentVector <:< _2))
(:typelogic.core/var replicate (:typelogic.core/fn ((_0 _1) _2)))
((:typelogic.core/var zipmap (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (java.lang.Object <:< _3)
 (clojure.lang.PersistentArrayMap <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _3))
((:typelogic.core/var
  comparator
  (:typelogic.core/fn
   (((:typelogic.core/fn clojure.lang.LazySeq@c07bc037 . _2)) _3)))
 :-
 (_4 <:< java.lang.Long)
 ((:typelogic.core/fn
   ((<lvar:param__77490> <lvar:param__77490>) <lvar:sub__77481>))
  <:<
  _3))
((:typelogic.core/var eval (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object))
((:typelogic.core/var transient (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.IEditableCollection)
 (clojure.lang.ITransientCollection <:< _1))
((:typelogic.core/var persistent! (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.ITransientCollection)
 (clojure.lang.IPersistentCollection <:< _1))
((:typelogic.core/var conj! (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< clojure.lang.ITransientCollection)
 (clojure.lang.ITransientCollection <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  assoc!
  (:typelogic.core/fn
   ((_0 _1 _2) _3)
   ((_4 _5 _6 (:typelogic.core/seq)) _7)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.ITransientAssociative <:< _4)
 (clojure.lang.ISeq <:< _8)
 (java.lang.Object <:< _5)
 (_5 <:< java.lang.Object)
 (clojure.lang.ITransientAssociative <:< _3)
 (_7 <:< clojure.lang.ITransientAssociative)
 (_8 <:< java.lang.Object)
 (_6 <:< java.lang.Object)
 (_4 <:< clojure.lang.ITransientAssociative)
 (java.lang.Object <:< _6)
 (_1 <:< java.lang.Object)
 (_0 <:< clojure.lang.ITransientAssociative))
((:typelogic.core/var
  dissoc!
  (:typelogic.core/fn ((_0 _1) _2) ((_3 _4 (:typelogic.core/seq)) _5)))
 :-
 (_5 <:< clojure.lang.ITransientMap)
 (java.lang.Object <:< _4)
 (clojure.lang.ISeq <:< _6)
 (_4 <:< java.lang.Object)
 (_6 <:< java.lang.Object)
 (clojure.lang.ITransientMap <:< _2)
 (_0 <:< clojure.lang.ITransientMap)
 (_1 <:< java.lang.Object)
 (_3 <:< clojure.lang.ITransientMap)
 (clojure.lang.ITransientMap <:< _3))
((:typelogic.core/var pop! (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.ITransientVector)
 (clojure.lang.ITransientVector <:< _1))
((:typelogic.core/var
  disj!
  (:typelogic.core/fn
   ((_0) _0)
   ((_1 _2) _3)
   ((_4 _5 (:typelogic.core/seq)) _6)))
 :-
 (_2 <:< java.lang.Object)
 (_1 <:< clojure.lang.ITransientSet)
 (java.lang.Object <:< _5)
 (clojure.lang.ITransientSet <:< _4)
 (clojure.lang.ISeq <:< _7)
 (_5 <:< java.lang.Object)
 (_6 <:< clojure.lang.ITransientSet)
 (_4 <:< clojure.lang.ITransientSet)
 (_7 <:< java.lang.Object)
 (clojure.lang.ITransientSet <:< _3))
((:typelogic.core/var
  into-array
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 (_2 <:< java.lang.Class)
 (_3 <:< java.lang.Object)
 (_5 <:< clojure.lang.ISeq)
 (clojure.lang.ISeq <:< _5)
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1))
((:typelogic.core/var
  array
  (:typelogic.core/fn (((:typelogic.core/seq)) _0)))
 :-
 (java.lang.Object <:< _0)
 (_1 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var class (:typelogic.core/fn ((_0) _0)))
 :-
 (_0 <:< java.lang.Object))
((:typelogic.core/var type (:typelogic.core/fn ((_0) _0)))
 :-
 (clojure.lang.Keyword <:< _1)
 (java.lang.Object <:< _0)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Object))
((:typelogic.core/var num (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (java.lang.Number <:< _1))
((:typelogic.core/var long (:typelogic.core/fn ((_0) _1)))
 :-
 (long <:< _1)
 (_0 <:< java.lang.Number))
((:typelogic.core/var float (:typelogic.core/fn ((_0) _1)))
 :-
 (float <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var double (:typelogic.core/fn ((_0) _1)))
 :-
 (double <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var short (:typelogic.core/fn ((_0) _1)))
 :-
 (short <:< _1)
 (_0 <:< java.lang.Number))
((:typelogic.core/var byte (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Number)
 (byte <:< _1))
((:typelogic.core/var char (:typelogic.core/fn ((_0) _1)))
 :-
 (char <:< _1)
 (_0 <:< char))
((:typelogic.core/var boolean (:typelogic.core/fn ((_0) _1)))
 :-
 (boolean <:< _1)
 (_0 <:< boolean))
((:typelogic.core/var unchecked-byte (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Number)
 (byte <:< _1))
((:typelogic.core/var unchecked-short (:typelogic.core/fn ((_0) _1)))
 :-
 (short <:< _1)
 (_0 <:< java.lang.Number))
((:typelogic.core/var unchecked-char (:typelogic.core/fn ((_0) _1)))
 :-
 (char <:< _1)
 (_0 <:< byte))
((:typelogic.core/var unchecked-int (:typelogic.core/fn ((_0) _1)))
 :-
 (int <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var unchecked-long (:typelogic.core/fn ((_0) _1)))
 :-
 (long <:< _1)
 (_0 <:< java.lang.Number))
((:typelogic.core/var unchecked-float (:typelogic.core/fn ((_0) _1)))
 :-
 (float <:< _1)
 (_0 <:< java.lang.Number))
((:typelogic.core/var unchecked-double (:typelogic.core/fn ((_0) _1)))
 :-
 (double <:< _1)
 (_0 <:< java.lang.Number))
((:typelogic.core/var number? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var ratio? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var decimal? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var float? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var rational? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var read-string (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.String)
 (java.lang.Object <:< _1))
((:typelogic.core/var
  subvec
  (:typelogic.core/fn ((_0 _1) _2) ((_0 _1 _3) _2)))
 :-
 (_3 <:< int)
 (int <:< _3)
 (_1 <:< int)
 (_0 <:< java.lang.Object)
 (clojure.lang.IPersistentVector <:< _2))
((:typelogic.core/var alength (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< [J)
 (int <:< _1))
((:typelogic.core/var aclone (:typelogic.core/fn ((_0) _1)))
 :-
 ([S <:< _1)
 (_0 <:< [S))
((:typelogic.core/var
  aset
  (:typelogic.core/fn
   ((_0 _1 _2) _2)
   ((_3 _4 _5 (:typelogic.core/seq)) _6)))
 :-
 (_2 <:< java.lang.Object)
 (_7 <:< clojure.lang.IFn)
 (_5 <:< java.lang.Object)
 (_1 <:< int)
 (_0 <:< java.lang.Object)
 (_7 <:< java.lang.Object))
((:typelogic.core/var
  aset-int
  (:typelogic.core/fn
   ((_0 _1 _2) _2)
   ((_3 _4 _5 (:typelogic.core/seq)) _6)))
 :-
 (_2 <:< java.lang.Object)
 (_5 <:< java.lang.Object)
 (_1 <:< int)
 (_0 <:< java.lang.Object)
 (int <:< _7))
((:typelogic.core/var
  aset-double
  (:typelogic.core/fn
   ((_0 _1 _2) _2)
   ((_3 _4 _5 (:typelogic.core/seq)) _6)))
 :-
 (_2 <:< java.lang.Object)
 (_5 <:< java.lang.Object)
 (_1 <:< int)
 (_0 <:< java.lang.Object)
 (double <:< _7))
((:typelogic.core/var macroexpand-1 (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1))
((:typelogic.core/var macroexpand (:typelogic.core/fn ((_0) _0)))
 :-
 (boolean <:< _1)
 (java.lang.Object <:< _0)
 (_0 <:< java.lang.Object))
((:typelogic.core/var
  create-struct
  (:typelogic.core/fn (((:typelogic.core/seq)) _0)))
 :-
 (_1 <:< clojure.lang.ISeq)
 (clojure.lang.PersistentStructMap$Def <:< _0))
((:typelogic.core/var
  struct-map
  (:typelogic.core/fn ((_0 (:typelogic.core/seq)) _1)))
 :-
 (_2 <:< clojure.lang.ISeq)
 (clojure.lang.PersistentStructMap <:< _1)
 (_0 <:< clojure.lang.PersistentStructMap$Def))
((:typelogic.core/var
  struct
  (:typelogic.core/fn ((_0 (:typelogic.core/seq)) _1)))
 :-
 (_2 <:< clojure.lang.ISeq)
 (clojure.lang.PersistentStructMap <:< _1)
 (_0 <:< clojure.lang.PersistentStructMap$Def))
((:typelogic.core/var accessor (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< clojure.lang.PersistentStructMap$Def)
 (_1 <:< java.lang.Object)
 (clojure.lang.IFn <:< _2))
((:typelogic.core/var load-reader (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.io.Reader)
 (java.lang.Object <:< _1))
((:typelogic.core/var set (:typelogic.core/fn ((_0) _1)))
 :-
 (clojure.lang.ISeq <:< _2)
 (_2 <:< clojure.lang.ISeq)
 (clojure.lang.PersistentHashSet <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var
  filter-key
  (:typelogic.core/fn
   (((:typelogic.core/fn clojure.lang.LazySeq@c74c7145 . _2)
     (:typelogic.core/fn clojure.lang.LazySeq@c74c59dd . _4)
     _5)
    _6)))
 :-
 (clojure.lang.PersistentArrayMap <:< _6)
 (clojure.lang.ISeq <:< _7)
 (_5 <:< java.lang.Object)
 (java.lang.Object <:< _0)
 (_7 <:< java.lang.Object))
((:typelogic.core/var find-ns (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Symbol)
 (clojure.lang.Namespace <:< _1))
((:typelogic.core/var create-ns (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Symbol)
 (clojure.lang.Namespace <:< _1))
((:typelogic.core/var remove-ns (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Symbol)
 (clojure.lang.Namespace <:< _1))
((:typelogic.core/var all-ns (:typelogic.core/fn (() _0)))
 :-
 (clojure.lang.ISeq <:< _0))
((:typelogic.core/var var-get (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< clojure.lang.Var)
 (java.lang.Object <:< _1))
((:typelogic.core/var var-set (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< clojure.lang.Var)
 (java.lang.Object <:< _2)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  ns-resolve
  (:typelogic.core/fn ((_0 _1) _2) ((_0 _3 _1) _2)))
 :-
 (java.lang.Object <:< _4)
 (_3 <:< java.lang.Object)
 (java.lang.Object <:< _2)
 (_2 <:< nil)
 (nil <:< _3)
 (_4 <:< clojure.lang.Namespace)
 (_1 <:< java.lang.Object))
((:typelogic.core/var
  array-map
  (:typelogic.core/fn (() _0) (((:typelogic.core/seq)) _1)))
 :-
 (_2 <:< java.lang.Object)
 (clojure.lang.PersistentArrayMap <:< _0)
 (clojure.lang.PersistentArrayMap <:< _1)
 ([Ljava.lang.Object; <:< _2))
((:typelogic.core/var
  ex-info
  (:typelogic.core/fn ((_0 _1) _2) ((_3 _4 _5) _6)))
 :-
 (_3 <:< java.lang.String)
 (clojure.lang.ExceptionInfo <:< _2)
 (_1 <:< clojure.lang.IPersistentMap)
 (_4 <:< clojure.lang.IPersistentMap)
 (_0 <:< java.lang.String)
 (_5 <:< java.lang.Throwable))
((:typelogic.core/var test (:typelogic.core/fn ((_0) _1)))
 :-
 (clojure.lang.Keyword <:< _1)
 (_1 <:< clojure.lang.Keyword))
((:typelogic.core/var re-matcher (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_1 <:< java.lang.CharSequence)
 (_0 <:< java.util.regex.Pattern)
 (java.util.regex.Matcher <:< _2))
((:typelogic.core/var special-symbol? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Object)
 (_0 <:< java.lang.Object)
 (java.lang.Object <:< _1)
 (clojure.lang.IPersistentMap <:< _2))
((:typelogic.core/var var? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var
  subs
  (:typelogic.core/fn ((_0 _1) _2) ((_3 _4 _5) _6)))
 :-
 (_3 <:< java.lang.String)
 (_4 <:< int)
 (_0 <:< java.lang.String)
 (java.lang.String <:< _2)
 (_1 <:< int)
 (_5 <:< int))
((:typelogic.core/var hash (:typelogic.core/fn ((_0) _1)))
 :-
 (int <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var
  mix-collection-hash
  (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (_0 <:< int)
 (int <:< _2)
 (_1 <:< int))
((:typelogic.core/var hash-ordered-coll (:typelogic.core/fn ((_0) _1)))
 :-
 (int <:< _1)
 (_0 <:< java.lang.Iterable))
((:typelogic.core/var
  hash-unordered-coll
  (:typelogic.core/fn ((_0) _1)))
 :-
 (int <:< _1)
 (_0 <:< java.lang.Iterable))
((:typelogic.core/var interpose (:typelogic.core/fn ((_0 _1) _2)))
 :-
 (java.lang.Long <:< _3))
((:typelogic.core/var
  float-array
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 ([F <:< _1)
 (_3 <:< java.lang.Object)
 (_0 <:< java.lang.Object)
 (_2 <:< int))
((:typelogic.core/var
  boolean-array
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 (_3 <:< java.lang.Object)
 ([Z <:< _1)
 (_0 <:< java.lang.Object)
 (_2 <:< int))
((:typelogic.core/var
  byte-array
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 (_3 <:< java.lang.Object)
 ([B <:< _1)
 (_0 <:< java.lang.Object)
 (_2 <:< int))
((:typelogic.core/var
  char-array
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 (_3 <:< java.lang.Object)
 ([C <:< _4)
 (_0 <:< java.lang.Object)
 (_2 <:< int))
((:typelogic.core/var
  short-array
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 ([S <:< _1)
 (_3 <:< java.lang.Object)
 (_0 <:< java.lang.Object)
 (_2 <:< int))
((:typelogic.core/var
  double-array
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 ([D <:< _1)
 (_3 <:< java.lang.Object)
 (_0 <:< java.lang.Object)
 (_2 <:< int))
((:typelogic.core/var object-array (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.lang.Object)
 ([Ljava.lang.Object; <:< _1))
((:typelogic.core/var
  int-array
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 (_3 <:< java.lang.Object)
 ([I <:< _4)
 (_0 <:< java.lang.Object)
 (_2 <:< int))
((:typelogic.core/var
  long-array
  (:typelogic.core/fn ((_0) _1) ((_2 _3) _4)))
 :-
 (_3 <:< java.lang.Object)
 ([J <:< _1)
 (_0 <:< java.lang.Object)
 (_2 <:< int))
((:typelogic.core/var class? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var descriptor (:typelogic.core/fn ((_0) _1)))
 :-
 (java.lang.String <:< _1)
 (_0 <:< java.lang.Class))
((:typelogic.core/var
  alter-var-root
  (:typelogic.core/fn ((_0 _1 (:typelogic.core/seq)) _2)))
 :-
 (_0 <:< clojure.lang.Var)
 (_1 <:< clojure.lang.IFn)
 (java.lang.Object <:< _2)
 (_3 <:< clojure.lang.ISeq))
((:typelogic.core/var make-hierarchy (:typelogic.core/fn (() _0)))
 :-
 (clojure.lang.PersistentArrayMap <:< _0))
((:typelogic.core/var global-hierarchy _0)
 :-
 (clojure.lang.PersistentArrayMap <:< _0))
((:typelogic.core/var not-empty (:typelogic.core/fn ((_0) _0)))
 :-
 (_0 <:< java.lang.Object)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var iterator-seq (:typelogic.core/fn ((_0) _1)))
 :-
 (clojure.lang.IteratorSeq <:< _1)
 (_0 <:< java.util.Iterator))
((:typelogic.core/var enumeration-seq (:typelogic.core/fn ((_0) _1)))
 :-
 (_0 <:< java.util.Enumeration)
 (clojure.lang.EnumerationSeq <:< _1))
((:typelogic.core/var
  format
  (:typelogic.core/fn ((_0 (:typelogic.core/seq)) _1)))
 :-
 (_2 <:< java.lang.Object)
 (_0 <:< java.lang.String)
 ([Ljava.lang.Object; <:< _2))
(_0
 :-
 (_1 <:< clojure.lang.ISeq)
 (_0 <:< nil)
 ((:typelogic.core/var
   *loaded-libs*
   (:typelogic.core/fn . <lvar:234098>))
  <:<
  _0)
 (clojure.lang.PersistentTreeSet <:< _1))
(_0
 :-
 (_0 <:< nil)
 ((:typelogic.core/var
   *pending-paths*
   clojure.lang.PersistentList$EmptyList)
  <:<
  _0))
(_0
 :-
 ((:typelogic.core/var *loading-verbosely* java.lang.Boolean) <:< _0)
 (_0 <:< nil))
((:typelogic.core/var
  require
  (:typelogic.core/fn (((:typelogic.core/seq)) _0)))
 :-
 (_1 <:< clojure.lang.IFn)
 (nil <:< _1)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var
  use
  (:typelogic.core/fn (((:typelogic.core/seq)) _0)))
 :-
 (_1 <:< clojure.lang.IFn)
 (nil <:< _1)
 (clojure.lang.ISeq <:< _1))
((:typelogic.core/var empty? (:typelogic.core/fn ((_0) _1)))
 :-
 (clojure.lang.ISeq <:< _2)
 (_0 <:< java.lang.Object)
 (_1 <:< java.lang.Boolean))
((:typelogic.core/var coll? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var list? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var set? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var ifn? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var fn? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var associative? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var sequential? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var sorted? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var counted? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var reversible? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
(:typelogic.core/var *1 _0)
(:typelogic.core/var *2 _0)
(:typelogic.core/var *3 _0)
(:typelogic.core/var *e _0)
((:typelogic.core/var future? (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Class)
 (boolean <:< _1)
 (java.lang.Class <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var future-done? (:typelogic.core/fn ((_0) _1)))
 :-
 (boolean <:< _1)
 (_0 <:< java.util.concurrent.Future))
((:typelogic.core/var shift-mask (:typelogic.core/fn ((_0 _1 _2) _3)))
 :-
 (_2 <:< java.lang.Object)
 (long <:< _4)
 (_4 <:< long)
 (_0 <:< java.lang.Object)
 (long <:< _3)
 (_1 <:< long))
(:typelogic.core/var max-mask-bits java.lang.Long)
((:typelogic.core/var reduced (:typelogic.core/fn ((_0) _1)))
 :-
 (clojure.lang.Reduced <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var reduced? (:typelogic.core/fn ((_0) _1)))
 :-
 (boolean <:< _1)
 (_0 <:< java.lang.Object))
((:typelogic.core/var future-cancelled? (:typelogic.core/fn ((_0) _1)))
 :-
 (boolean <:< _1)
 (_0 <:< java.util.concurrent.Future))
(:typelogic.core/var
 deliver
 (:typelogic.core/fn
  (((:typelogic.core/fn clojure.lang.LazySeq@c74c7145 . _2) _0) _1)))
((:typelogic.core/var rand-nth (:typelogic.core/fn ((_0) _1)))
 :-
 (_2 <:< java.lang.Object)
 (int <:< _2)
 (_0 <:< java.lang.Object))
((:typelogic.core/var realized? (:typelogic.core/fn ((_0) _1)))
 :-
 (boolean <:< _1)
 (_0 <:< clojure.lang.IPending))