Module Sexp_conv_record.Fields

type _ t =
  1. | Empty : unit t
  2. | Field : {
    1. name : string;
    2. kind : ('a, 'conv) Kind.t;
    3. conv : 'conv;
    4. rest : 'b t;
    } -> ('a * 'b) t

A GADT specifying record fields.