comparison src/settings.sig @ 1777:59b07fdae1ff

Partitioning and ordering for window functions
author Adam Chlipala <adam@chlipala.net>
date Sat, 02 Jun 2012 16:47:09 -0400
parents 675ce534e3ec
children 3d922a28370b
comparison
equal deleted inserted replaced
1776:8f28c3295148 1777:59b07fdae1ff
197 sqlPrefix : string, 197 sqlPrefix : string,
198 supportsOctetLength : bool, 198 supportsOctetLength : bool,
199 trueString : string, 199 trueString : string,
200 falseString : string, 200 falseString : string,
201 onlyUnion : bool, 201 onlyUnion : bool,
202 nestedRelops : bool 202 nestedRelops : bool,
203 windowFunctions : bool
203 } 204 }
204 205
205 val addDbms : dbms -> unit 206 val addDbms : dbms -> unit
206 val setDbms : string -> unit 207 val setDbms : string -> unit
207 val currentDbms : unit -> dbms 208 val currentDbms : unit -> dbms