let
record_of_data d :
F
.record = extract_from_data d