Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package cpm
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val create : int -> tcreate n creates a Top_keeper.t that will keep up to n best elements
add name score add score score to the top_keeper under name name (if the score is good enough or if the top_keeper doesn't hold enough elements currently)
val high_scores_first : t -> (float * string) listhigh_scores_first tk retrieves the n best scores (with associated names) that were kept by tk