with_<R extends object, W extends WithQueryTables>( ctes: ( cte: <T extends object>( expr: Withable<T>, options?: XOR<{ materialized?: true | undefined; }, { notMaterialized?: true | undefined; }> & { search?: undefined; cycle?: undefined; }
, ) => Cte<T>, ) => W, then: (args: W) => Withable<R>, opts?: { recursive?: true },): With<R, W>