sig
  type 'a t = 'a * int
  val make : 'a -> int -> 'a Scoped.t
  val get : 'a Scoped.t -> 'a
  val scope : 'a Scoped.t -> int
  val set : 'a Scoped.t -> 'b -> 'b Scoped.t
  val same_scope : 'a Scoped.t -> 'b Scoped.t -> bool
  val equal : ('a -> 'a -> bool) -> 'a Scoped.t -> 'a Scoped.t -> bool
  val compare : 'a CCOrd.t -> 'a Scoped.t CCOrd.t
  val hash_fun : 'a CCHash.hash_fun -> 'a Scoped.t CCHash.hash_fun
  val hash : 'a CCHash.hash_fun -> 'a Scoped.t -> int
  val map : ('a -> 'b) -> 'a Scoped.t -> 'b Scoped.t
  val on : ('a -> 'b) -> 'a Scoped.t -> 'b
  val on2 : ('a -> 'b -> 'c) -> 'a Scoped.t -> 'b Scoped.t -> 'c
  val pp : 'a CCFormat.printer -> 'a Scoped.t CCFormat.printer
  val to_string : 'a CCFormat.printer -> 'a Scoped.t -> string
end