type symbol
type t
type score
val score : t -> symbol -> score
val missing_score : t -> score