deque-blog/int-binary-tree-def.clj

Last active May 20, 2017 13:44

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/deque-blog/86a1294bd4dd6f133dfb055c0c0e681e.js"></script>
Save deque-blog/86a1294bd4dd6f133dfb055c0c0e681e to your computer and use it in GitHub Desktop.

Download ZIP

Raw

int-binary-tree-def.clj

	(s/def ::int-binary-tree
	(s/and
	#(every? int? (dfs-binary-tree %))
	::binary-tree-impl))

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment