sig
  val push : 'a -> 'a list Pervasives.ref -> unit
  val pushnew : 'a -> 'a list Pervasives.ref -> unit
  val pushnewq : 'a -> 'a list Pervasives.ref -> unit
  val sort_without_duplicates : 'a list -> 'a list
end