Functor LogtkFingerprint.Make

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

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