module F : Sym.SYM_EXPR with type 'a path_repr = Format.formatter -> 'a -> unit
(** Query used inside the filter clauses *)

val query_of_expression :
  'b Query.binded_query ->
  Format.formatter ->
  (Format.formatter -> 'a -> unit) ->
  'a T.t ->
  'b * 'a T.t option