With_default.Key
type 'a t
val create : default:'a -> name:Base.string -> ('a -> Base.Sexp.t) -> 'a t
val id : 'a t -> 'a Base.Type_equal.Id.t