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