let
boolean_of_data d : boolean
F
.term = extract_from_data d