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