Tree.Provide_of_sexp
module K : sig ... end with type K.t := Key.t
val t_of_sexp : (Ppx_sexp_conv_lib.Sexp.t -> 'v_x__001_) -> Ppx_sexp_conv_lib.Sexp.t -> 'a t