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