sig
  type t = Wp.WpContext.model
  val id : Wp.WpContext.MODEL.t -> string
  val descr : Wp.WpContext.MODEL.t -> string
  val hash : Wp.WpContext.MODEL.t -> int
  val equal : Wp.WpContext.MODEL.t -> Wp.WpContext.MODEL.t -> bool
  val compare : Wp.WpContext.MODEL.t -> Wp.WpContext.MODEL.t -> int
  val repr : Wp.WpContext.MODEL.t
end