add libtool_version.ml

This commit is contained in:
swrup 2026-02-27 17:49:54 +01:00
parent f56ef6b544
commit 177b4d787c
6 changed files with 127 additions and 11 deletions

View file

@ -56,7 +56,7 @@ let list_fold_left f acc l =
f acc v)
(Ok acc) l
let opt_list l =
let list_option l =
match (List.for_all Option.is_none l, List.for_all Option.is_some l) with
| _, true ->
let l = List.map Option.get l in