let
min (l:
'
a list) :
'
a = big min l