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