4 Commits

Author	SHA1	Message	Date
Anthony Scemama	e54a5e034a	Hash table for zkey_array	2018-03-13 18:24:00 +01:00
Anthony Scemama	e3d8582caa	documentation	2018-03-09 00:12:00 +01:00
Anthony Scemama	7d0f8efffa	Checks on Zkey	2018-03-09 00:08:12 +01:00
Anthony Scemama	6f633fe37e	Zkey.mli	2018-03-03 21:19:50 +01:00