Functor Fingerprint.Make

module Make (X : Set.OrderedType) : sig .. end

include Index.TERM_IDX

val default_fp : Fingerprint.fingerprint_fun

val empty_with : Fingerprint.fingerprint_fun -> t

val get_fingerprint : t -> Fingerprint.fingerprint_fun