sig
  type t = Wp.WpContext.context
  val id : Wp.WpContext.S.t -> string
  val hash : Wp.WpContext.S.t -> int
  val equal : Wp.WpContext.S.t -> Wp.WpContext.S.t -> bool
  val compare : Wp.WpContext.S.t -> Wp.WpContext.S.t -> int
end