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