Functor LogtkFastFingerprint.Make

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

include LogtkIndex.TERM_IDX
val default_fp : LogtkFastFingerprint.fingerprint_fun
val empty_with : LogtkFastFingerprint.fingerprint_fun -> t
Empty index, using the given fingerprint function
val get_fingerprint : t -> LogtkFastFingerprint.fingerprint_fun