let
min t t' =
if
t <= t'
then
t
else
t'