RNT/lib/Scratch.mli, branch indexes scratch root for testing with subsystems explorer 2026-10-08T02:28:50+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-10-08T02:28:50+00:00 3c1f6ba5d89a9928ffbe1d94396d628ffa89f953