lib/expression/filters.mli


1
2
3
4
5
6
7
8
9

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