sig
  module Key :
    sig
      type ('a, 'b) t
      val create :
        init:'b ->
        f:('b -> 'a -> 'b) ->
        string ->
        ('b -> Std_internal.Sexp.t) -> ('a, 'b) Univ_map.With_fold.Key.t
    end
  val set :
    Univ_map.t -> ('a, 'b) Univ_map.With_fold.Key.t -> 'b -> Univ_map.t
  val find : Univ_map.t -> ('a, 'b) Univ_map.With_fold.Key.t -> 'b
  val add :
    Univ_map.t -> ('a, 'b) Univ_map.With_fold.Key.t -> 'a -> Univ_map.t
  val change :
    Univ_map.t ->
    ('a, 'b) Univ_map.With_fold.Key.t -> ('b -> 'b) -> Univ_map.t
end