diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-02-02 11:40:10 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-02-02 11:40:10 -0500 |
| commit | 1a92bdc65a47614912b4bfd0cf6f442d7134ce23 (patch) | |
| tree | 5271983ec2581bb6cf7fecc8053b8c3e41de9250 /src/settings.sig | |
| parent | 912c6fcf0c09348965262dd13c8faaefa61c2999 (diff) | |
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Diffstat (limited to 'src/settings.sig')
| -rw-r--r-- | src/settings.sig | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/settings.sig b/src/settings.sig index 26e220fd..62b7a748 100644 --- a/src/settings.sig +++ b/src/settings.sig @@ -16,7 +16,7 @@ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE - * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN @@ -26,10 +26,10 @@ *) signature SETTINGS = sig - + val setDebug : bool -> unit val getDebug : unit -> bool - + val clibFile : string -> string (* How do all application URLs begin? *) @@ -143,6 +143,8 @@ signature SETTINGS = sig type dbms = { name : string, (* Call it this on the command line *) + randomFunction : string, + (* DBMS's name for random number-generating function *) header : string, (* Include this C header file *) link : string, |