100644 blob b7ecc42fafe71cded85bbb31d813816ecdba0e4d	Makefile
100644 blob 2c8db7f2e8f8d5b48588eb96c97115c53ca3dfda	README
100644 blob 8c49dbf45e65e2e7152649a157cd8946ca3223a2	const_generator.py
040000 tree 5bf131dbe2c74be514ba9c0caea5cc938fffe19f	java
040000 tree 4f7b033179d87006cb2fcbc78f811860b4eb2ca4	ocaml
040000 tree a1582ce6f6509f0d4814f375e6a4f73682cb17ea	python