Sexp_conv_labeled_tuple.Fields
type _ t =
| Field : {
name : string;
conv : Sexp.t -> 'a;
rest : 'b t;
} -> ('a * 'b) t
| Empty : unit t