sig
  type t = Key.t
  val compare : t -> t -> int
  val hash : t -> int
  type sexpable = t
  val sexp_of_t : sexpable -> Sexplib.Sexp.t
  val t_of_sexp : Sexplib.Sexp.t -> sexpable
end