(***********************************************************************) (* *) (* TAToo *) (* *) (* Kim Nguyen, LRI UMR8623 *) (* Université Paris-Sud & CNRS *) (* *) (* Copyright 2010-2012 Université Paris-Sud and Centre National de la *) (* Recherche Scientifique. All rights reserved. This file is *) (* distributed under the terms of the GNU Lesser General Public *) (* License, with the special exception on linking described in file *) (* ../LICENSE. *) (* *) (***********************************************************************) (* Time-stamp: *) include module type of Ptset_sig module Make (H : Hcons.Abstract) : S with type elt = H.t (** Builds an implementation of hashconsed sets of hashconsed elements. See {!Hcons.Make}. *) module Weak (H : Hcons.Abstract) : S with type elt = H.t (** Builds an implementation of hashconsed sets of hashconsed elements with weak internal storage. See {!Hcons.Weak}. *) module PosInt : S with type elt = int (** Implementation of hashconsed sets of positive integers *)