sig
  type t =
      (float array * float array) list *
      ((float * float) * (float * float)) * float
  val compare : 'a -> 'a -> int
end