let pp_asked_prop fmt config = match config.asked_prop with | AllProps -> Format.fprintf fmt "all properties" | NamedProp s -> Format.fprintf fmt "properties %s" s | IdProp p -> Format.fprintf fmt "property %s" (id_prop_txt p)