comparison src/settings.sig @ 1196:134da5110bf7

Relational operators portability
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Apr 2010 17:21:16 -0400
parents 9d3ccb8b39ac
children acabf3935060
comparison
equal deleted inserted replaced
1195:aff5e661b5f8 1196:134da5110bf7
165 supportsNextval : bool, 165 supportsNextval : bool,
166 supportsNestedPrepared : bool, 166 supportsNestedPrepared : bool,
167 sqlPrefix : string, 167 sqlPrefix : string,
168 supportsOctetLength : bool, 168 supportsOctetLength : bool,
169 trueString : string, 169 trueString : string,
170 falseString : string 170 falseString : string,
171 onlyUnion : bool,
172 nestedRelops : bool
171 } 173 }
172 174
173 val addDbms : dbms -> unit 175 val addDbms : dbms -> unit
174 val setDbms : string -> unit 176 val setDbms : string -> unit
175 val currentDbms : unit -> dbms 177 val currentDbms : unit -> dbms