format
Some checks failed
format / format (push) Has been cancelled
github pages / deploy (push) Has been cancelled
build / Build (push) Has been cancelled

This commit is contained in:
Simon Cruanes 2026-02-08 07:53:52 -05:00
parent aec132d37c
commit 0c4e9f30e1
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,4 +1,3 @@
let opt_iter ~f = function let opt_iter ~f = function
| None -> () | None -> ()
| Some x -> f x | Some x -> f x