comparison src/settings.sig @ 891:8f2159040bbb

More command-line options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 11:01:48 -0400
parents 034eeb099564
children 16f7cb0891b6
comparison
equal deleted inserted replaced
890:034eeb099564 891:8f2159040bbb
161 161
162 val addDbms : dbms -> unit 162 val addDbms : dbms -> unit
163 val setDbms : string -> unit 163 val setDbms : string -> unit
164 val currentDbms : unit -> dbms 164 val currentDbms : unit -> dbms
165 165
166 val setDbstring : string option -> unit
167 val getDbstring : unit -> string option
168
169 val setExe : string option -> unit
170 val getExe : unit -> string option
171
172 val setSql : string option -> unit
173 val getSql : unit -> string option
174
166 end 175 end