Module Logtk.FeatureVector

Feature Vector indexing

type lits = Index_intf.lits
module Make : functor (C : Index.CLAUSE) -> sig ... end