5 commits

Author	SHA1	Message	Date
Simon Cruanes	4579213e63	some small additions	2014-06-14 00:23:09 +02:00
Simon Cruanes	65aceba85e	phantom types for CCVector, for read-write and read-only vectors	2014-06-14 00:11:16 +02:00
Simon Cruanes	043003cf3b	big refactoring of CCVector, to fit the recent coding style; ... safe functions with _exn versions, iterators, printers, comparison and other monadic operators	2014-06-13 23:51:34 +02:00
Simon Cruanes	113ea6d395	updated and fixed things in core/: ... fixed warnings, updated Sequence/Gen with tests and more recent interface; added printers	2014-05-17 01:00:00 +02:00
Simon Cruanes	4bc6c8a008	split into package core (no pack, 'CC' prefix, stable) ... and misc where oneshot ideas go	2014-05-16 20:58:28 +02:00

Renamed from vector.mli (Browse further)