Workspace

	labeled_tuple_patterns.ml	Jun 5, 2025, 7:45:30 AM	16.10 KiB
	labeled_tuples_and_constructors.ml	Jun 5, 2025, 7:45:30 AM	2.00 KiB
	labeled_tuples_dsource.ml	May 21, 2025, 2:50:18 PM	659 B
	labeled_tuples.ml	Jun 5, 2025, 7:45:30 AM	14.00 KiB
(all files in zip)