1   fun hash<T> (list : List<T>) state =
2       for i = 0 until list.size do
3           Kd.hash list[i] state
4   
5   fun hash<T> (list : mut List<T>) state =
6       Kd.hash list.as_readonly state
7