let boolean_of_data d : F.boolean = extract_from_data d