Module Generic_core_desc.Fields.T

module T: sig .. end

type ('p, 'r) fields = 

List of fields. The type ('p, 'r) fields is the list of fields for the record 'r, 'p is a product type isomorphic to the record type 'r, it gathers all of the field types, in the same order are they are provided in the list.