Module LogtkFastFingerprint

module LogtkFastFingerprint: sig .. end

Experimental Fingerprint LogtkIndexing

This implementation of fingerprint indexing should take types into account, and also only traverse the relevant parts of the tree.

Right now it's not more efficient than Fingerprint (see the benchmarks in ../tests/run_bench.ml)

TODO: pre-index on types?


type fingerprint_fun 
val fp3d : fingerprint_fun
val fp3w : fingerprint_fun
val fp4d : fingerprint_fun
val fp4m : fingerprint_fun
val fp4w : fingerprint_fun
val fp5m : fingerprint_fun
val fp6m : fingerprint_fun
val fp7 : fingerprint_fun
val fp7m : fingerprint_fun
val fp16 : fingerprint_fun
module Make (X : Set.OrderedType) : sig .. end