let
boolean_of_data d :
F
.boolean = extract_from_data d