Class virtual Term_indexing.data


class virtual ['a] data : object .. end
type of data stored in Term_indexing.index.

method virtual is_equal : 'a -> 'a -> bool
method virtual to_string : 'a -> string