9 commits

Author	SHA1	Message	Date
Simon Cruanes	30b9307a70	Merge pull request #325 from c-cube/ccpair_map ... break(CCPair): use more standard name for some map functions	2020-07-27 22:58:58 -04:00
Fardale	01da25cead	break: change pp functions to take unit printer for sep/stop/start ... sep/stop/start -> pp_sep/pp_stop/pp_start string -> unit printer	2020-07-27 22:57:29 -04:00
Fardale	3b2030f6f2	break(CCPair): use more standard name for some map functions ... map1 -> map_fst map2 -> map_snd map_fst -> fst_map map_snd -> snd_map introduce map2 and map_same2 Fix #316	2020-07-27 21:39:17 +02:00
Fardale	0dafceb708	Adding to_string (#270) ... * add `CCArray.to_string` * add `CCArrayLabels.to_string` * add `CCList.to_string` * add `CCListLabels.to_string` * add `CCChar.to_string` * add `CCPair.to_string` * add `CCHeap.to_string` * add `CCSet.to_string` * add `CCVector.to_string`	2019-10-30 14:26:52 -05:00
Simon Cruanes	13b283a91d	remove buffer printers, rename pretty-printers to pp	2016-11-03 18:24:11 +01:00
Simon Cruanes	bb37ea469d	add CCPair.make	2016-02-21 18:33:44 +01:00
Simon Cruanes	34445bead0	replace headers in the rest of containers core	2016-02-20 23:24:24 +01:00
Fourchaux	44387de784	Correction typos (fichiers src)	2015-11-08 22:27:59 +01:00
Simon Cruanes	61465fa19a	remove cgi/; move sub-libraries to their own subdir each; mv everything into src/	2014-12-16 23:41:59 +01:00

Renamed from core/CCPair.ml (Browse further)