sig
  module Key :
    sig
      type 'a t
      val create :
        default:'a ->
        name:string ->
        ('a -> Std_internal.Sexp.t) -> 'a Univ_map.With_default.Key.t
    end
  val set : t -> 'a Univ_map.With_default.Key.t -> 'a -> t
  val find : t -> 'a Univ_map.With_default.Key.t -> 'a
  val change : t -> 'a Univ_map.With_default.Key.t -> ('a -> 'a) -> t
end