Module Logtk.NPDtree
Non-Perfect Discrimination Tree
module Make : functor (E : Index.EQUATION) -> Index.UNIT_IDX with module E = Emodule MakeTerm : functor (X : Stdlib.Set.OrderedType) -> Index.TERM_IDX with type elt = X.tLogtk.NPDtreemodule Make : functor (E : Index.EQUATION) -> Index.UNIT_IDX with module E = Emodule MakeTerm : functor (X : Stdlib.Set.OrderedType) -> Index.TERM_IDX with type elt = X.t