Module Logtk.Dtree
Perfect Discrimination Tree
module Make : functor (E : Index.EQUATION) -> Index.UNIT_IDX with module E = Emodule Default : Index.UNIT_IDX with module E = Index.BasicEquationLogtk.Dtreemodule Make : functor (E : Index.EQUATION) -> Index.UNIT_IDX with module E = Emodule Default : Index.UNIT_IDX with module E = Index.BasicEquation