Module Logtk.FeatureVector
Feature Vector indexing
module T = Termtype lits= Index_intf.lits
module Make : functor (C : Index.CLAUSE) -> sig ... endLogtk.FeatureVectormodule T = Termtype lits = Index_intf.litsmodule Make : functor (C : Index.CLAUSE) -> sig ... end