comparison src/settings.sig @ 1073:b2311dfb3158

Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents 065ce3252090
children bed675db3aff
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
145 dml : ErrorMsg.span -> Print.PD.pp_desc, 145 dml : ErrorMsg.span -> Print.PD.pp_desc,
146 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string, 146 dmlPrepared : {loc : ErrorMsg.span, id : int, dml : string,
147 inputs : sql_type list} -> Print.PD.pp_desc, 147 inputs : sql_type list} -> Print.PD.pp_desc,
148 nextval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, seqName : string option} -> Print.PD.pp_desc, 148 nextval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, seqName : string option} -> Print.PD.pp_desc,
149 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc, 149 nextvalPrepared : {loc : ErrorMsg.span, id : int, query : string} -> Print.PD.pp_desc,
150 setval : {loc : ErrorMsg.span, seqE : Print.PD.pp_desc, count : Print.PD.pp_desc} -> Print.PD.pp_desc,
150 sqlifyString : string -> string, 151 sqlifyString : string -> string,
151 p_cast : string * sql_type -> string, 152 p_cast : string * sql_type -> string,
152 p_blank : int * sql_type -> string (* Prepared statement input *), 153 p_blank : int * sql_type -> string (* Prepared statement input *),
153 supportsDeleteAs : bool, 154 supportsDeleteAs : bool,
154 supportsUpdateAs : bool, 155 supportsUpdateAs : bool,