Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
14 lines (11 sloc) 252 Bytes
(ns blog.immutable.local
(:require [clojure.core.typed
:refer [Coll NonEmptyColl check-ns]]))
(defn
^{:ann '(All [x]
[(Coll x) -> (NonEmptyColl x)])}
always-non-empty [c]
{:pre [(seq c)]}
c)
; (check-ns)
; => :ok