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