-record(f_sharp_attribute_serialized, {case_, fields}).