Revert "Minor changes"

This reverts commit 6243ace80b.
This commit is contained in:
2025-11-06 23:29:38 +03:00
parent 5b9de4d5a3
commit e2f1a55cb7

View File

@@ -60,8 +60,6 @@ let reduce init f =
| _ -> invalid_arg "cannot reduce over non-list!" | _ -> invalid_arg "cannot reduce over non-list!"
in aux init in aux init
let rec dbg_print_one v = let rec dbg_print_one v =
let pf = Printf.sprintf in let pf = Printf.sprintf in
match v with match v with