pqChainInsertion.mli

module Make :
  functor (Chain : sig type t val s : t val d : t -> int end) ->
  sig 
    val insert_chain : Chain.t PqTree.t -> Chain.t PqTree.t option
  end