HomeIsabelle/Phabricator

more accurate process_result in ML, corresponding to Process_Result in Scala;