Workspace of precheck on ocaml-linux-64

	gen_ocaml_config.ml	Sep 14, 2025, 4:04:29 PM	5.92 KiB
	generate.ml	Sep 14, 2025, 4:04:29 PM	8.50 KiB
	process.sh	Sep 14, 2025, 4:04:29 PM	6.39 KiB
(all files in zip)