X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Futils%2Fptset.mli;fp=src%2Futils%2Fptset.mli;h=0000000000000000000000000000000000000000;hp=f4f53f7d9a2a50bc1d1e3dca5c407e1b3a1b5d25;hb=b00bff88c7902e828804c06b7f9dc55222fdc84e;hpb=03b6a364e7240ca827585e7baff225a0aaa33bc6 diff --git a/src/utils/ptset.mli b/src/utils/ptset.mli deleted file mode 100644 index f4f53f7..0000000 --- a/src/utils/ptset.mli +++ /dev/null @@ -1,33 +0,0 @@ -(***********************************************************************) -(* *) -(* 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 *)