let format_of_compinfo comp = DF.record_format comp