diff options
Diffstat (limited to 'lib/configuration/cte.mli')
| -rw-r--r-- | lib/configuration/cte.mli | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/lib/configuration/cte.mli b/lib/configuration/cte.mli deleted file mode 100644 index 0f2b3e3..0000000 --- a/lib/configuration/cte.mli +++ /dev/null @@ -1,20 +0,0 @@ -module Path = ImportDataTypes.Path -module Expression = ImportExpression.T - -type t = { - filters : Path.t Expression.t list; - group : Path.t Expression.t option; -} -(** Represent a filter to apply in the querry - - The CTE can have filters applied on the previous CTE (or directly in the - sources if there is any yet) and can hold a group (an only one). - - If there is a group, it must be applied after the others filters. - - The order in which the filters are presented in the configuration can change - the results ; it does not matter when we only have classicals filters, - because all cf them can be evaluated at the same time, but as soon we have a - group function, the result become dependant of the previous ones. *) - -val of_filters : Path.t Expression.t list -> t list |