Module Logtk.FV_tree

Feature Vector indexing

type labels = Index_intf.labels
type feature =
| N of int
| S of Logtk.ID.Set.t
| M of int Logtk.ID.Map.t
| L of labels
type feature_vector = feature IArray.t

a vector of feature

module Make : functor (C : Index_intf.CLAUSE) -> sig ... end