c-cube/imandra_test.ml

Created January 29, 2018 17:19

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

Select an option

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

Download ZIP

imandra_test

Raw

imandra_test.ml


	let f l = l <> [(1, "foo"); (2, "bar")] ;;

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