add libtool_version.ml

This commit is contained in:
swrup 2026-02-27 17:49:54 +01:00 committed by Swrup
parent e85a616e39
commit b984190d6d
4 changed files with 64 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