ordered.ml

module type ORDERED =
sig
  type t
  val compare : t -> t -> int
end

module type HEAP =
sig
  module Elem : ORDERED
  type heap
end

module MakeH (Element : ORDERED) : (HEAP with module Elem = Element) =
struct
  module Elem = Element
  type heap
end

module rec BootstrappedElem :
sig
  type t = E | T of PrimH.heap
  val compare : t -> t -> int
end =
struct
  type t = E | T of PrimH.heap
  let compare t1 t2 = Pervasives.compare t1 t2
end
and PrimH : (HEAP with module Elem = BootstrappedElem) =
  MakeH(BootstrappedElem)