let boolean_of_data d : boolean F.term = extract_from_data d