takahisa/makeset.ml

Last active September 13, 2017 03:26

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/takahisa/153fd1e316cb905db899794838a419d7.js"></script>
Save takahisa/153fd1e316cb905db899794838a419d7 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

	module MakeSet (Eq: EQ) = struct
	type elt
	type set
	let member : (elt -> set -> bool) code
	end

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