sig
  type +'a t
  val empty : 'a DBEnv.t
  val is_empty : 'a DBEnv.t -> bool
  val make : int -> 'a DBEnv.t
  val singleton : 'a -> 'a DBEnv.t
  val push : 'a DBEnv.t -> 'a -> 'a DBEnv.t
  val push_none : 'a DBEnv.t -> 'a DBEnv.t
  val push_none_multiple : 'a DBEnv.t -> int -> 'a DBEnv.t
  val pop : 'a DBEnv.t -> 'a DBEnv.t
  val pop_many : 'a DBEnv.t -> int -> 'a DBEnv.t
  val size : 'a DBEnv.t -> int
  val find : 'a DBEnv.t -> int -> 'a option
  val find_exn : 'a DBEnv.t -> int -> 'a
  val mem : 'a DBEnv.t -> int -> bool
  val set : 'a DBEnv.t -> int -> 'a -> 'a DBEnv.t
  val num_bindings : 'a DBEnv.t -> int
  val map : ('a -> 'b) -> 'a DBEnv.t -> 'b DBEnv.t
  val of_list : (int * 'a) list -> 'a DBEnv.t
  val pp : 'a CCFormat.printer -> 'a t CCFormat.printer
  val to_string : 'a CCFormat.printer -> 'a t -> string
end