--- a/src/Tools/Metis/src/Heap.sig Mon Sep 13 20:27:40 2010 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-(* ========================================================================= *)
-(* A HEAP DATATYPE FOR ML *)
-(* Copyright (c) 2001-2006 Joe Hurd, distributed under the BSD License *)
-(* ========================================================================= *)
-
-signature Heap =
-sig
-
-type 'a heap
-
-val new : ('a * 'a -> order) -> 'a heap
-
-val add : 'a heap -> 'a -> 'a heap
-
-val null : 'a heap -> bool
-
-val top : 'a heap -> 'a (* raises Empty *)
-
-val remove : 'a heap -> 'a * 'a heap (* raises Empty *)
-
-val size : 'a heap -> int
-
-val app : ('a -> unit) -> 'a heap -> unit
-
-val toList : 'a heap -> 'a list
-
-val toStream : 'a heap -> 'a Stream.stream
-
-val toString : 'a heap -> string
-
-end