Commits

camlspotter committed c23aae4

cr

  • Participants
  • Parent commits 610ed48
  • Branches p4hack

Comments (0)

Files changed (1)

 
   type key = Base.key
 
-  (* CR jfuruse: key comparison is by compare_val!!! 
+  (* CR jfuruse: key equality is by polymoprhic equal!!! 
      Possible bottle neck!
   *)
   (* key uniqueness is the user's responsibility *)