Key : sig ... end with type t := key
type _ t
include sig ... end
val t_of_sexp : (Base.Sexp.t ‑> 'v_x__001_) ‑> Base.Sexp.t ‑> 'v_x__001_ t