Read optional cleanup
function from configuration module#226
Merged
n-osborne merged 3 commits intoocaml-gospel:mainfrom n-osborne:stm-cleanupJul 1, 2024
+206-5
cleanup
function from configuration module#226