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