update ml

This commit is contained in:
2025-09-10 17:49:59 +02:00
parent bd0da8cd17
commit 3d3a21a9c3

View File

@@ -18,3 +18,17 @@ let stammer x = abba(mirror x)*10000 + abba x;;
let sec_of_time h m s = h*3600+m*60+s;; let sec_of_time h m s = h*3600+m*60+s;;
let time_to_sec s = (s/3600, s mod 3600/60, s mod 3600 mod 60);; let time_to_sec s = (s/3600, s mod 3600/60, s mod 3600 mod 60);;
let add_time ha ma sa hb mb sb = time_of_sec(sec_of_time ha ma sa + sec_of_time hb mb sb);; let add_time ha ma sa hb mb sb = time_of_sec(sec_of_time ha ma sa + sec_of_time hb mb sb);;
(*3.3*)
let min2 a b =
if a > b then b
else a;;
let max2 a b =
if a > b then a
else b ;;
let max3 a b c = if a>b && a>c then a else if b>c then b else c;;
let min3 a b c = if a<b && a<c then a else if b<c then b else c;;