logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Multiset

Generic multisets

module type S = Multiset_intf.S
module Make (X : Map.OrderedType) : S with type elt = X.t