X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fptset.mli;fp=src%2Fptset.mli;h=0000000000000000000000000000000000000000;hp=dc80b4aded7253e24baec010c7c19627454de87c;hb=30bc0bb1291426e5e26eb2dee1ffc41e4c246349;hpb=d9c0e4863807eaf472e875a4bad35cfefe985c95 diff --git a/src/ptset.mli b/src/ptset.mli deleted file mode 100644 index dc80b4a..0000000 --- a/src/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 Sigs.PTSET - -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 *)