type output_type = [
  1. | `Int
  2. | `Text
  3. | `Blob
  4. | `Float
  5. | `Int32
  6. | `Int64
  7. | `Bool
]
type input_type = [
  1. | output_type
  2. | `Any
]
type no_output_element = [
  1. | `Literal of string
  2. | `Input of input_type * bool
]
type sql_element = [
  1. | no_output_element
  2. | `Output of no_output_element list * output_type * bool
]
val collected_statements : string list Pervasives.ref
val collected_init_statements : string list Pervasives.ref
val parse_without_output_exprs : ([> `Input of [> `Any | `Blob | `Bool | `Float | `Int | `Int32 | `Int64 | `Text ] * bool | `Literal of string ] as 'a list -> char Pa_estring.llist -> 'a list) -> 'a list -> char Pa_estring.llist -> 'a list
val do_parse_in : ([> `Input of [> `Any | `Blob | `Bool | `Float | `Int | `Int32 | `Int64 | `Text ] as 'b * bool | `Literal of string ] as 'a list -> char Pa_estring.llist -> 'a list) -> 'a list -> 'b -> char Pa_estring.llist -> 'a list
val parse : char Pa_estring.llist -> sql_element list
val do_parse : sql_element list -> char Pa_estring.llist -> sql_element list
val parse_with_output_exprs : sql_element list -> char Pa_estring.llist -> sql_element list
val do_parse_out : output_type -> sql_element list -> char Pa_estring.llist -> sql_element list
val read_expr : sql_element list -> Camlp4.PreCast.Loc.t -> ?text:string -> bool -> output_type -> char Pa_estring.llist -> sql_element list
val new_id : unit -> string
val input_directive_id : [< `Any | `Blob | `Bool | `Float | `Int | `Int32 | `Int64 | `Text ] -> bool -> string
val directive_expr : ?_loc:Camlp4.PreCast.Ast.loc -> [< `Input of [< `Any | `Blob | `Bool | `Float | `Int | `Int32 | `Int64 | `Text ] * bool | `Literal of string ] -> Camlp4.PreCast.Ast.expr
val sql_statement : [< `Input of 'a | `Literal of string ] list -> string
val concat_map : ('a -> 'b list) -> 'a list -> 'b list
val expand_output_elms : [< `Input of input_type * bool | `Literal of string | `Output of [> no_output_element ] as 'a list * 'b * 'c ] -> 'a list
val create_sql_statement : Camlp4.PreCast.Ast.loc -> cacheable:bool -> [< `Input of input_type * bool | `Literal of string | `Output of no_output_element list * 'a * 'b ] list -> Camlp4.PreCast.Ast.expr
val create_sql_expression : Camlp4.PreCast.Ast.loc -> cacheable:bool -> sql_element list -> Camlp4.PreCast.Ast.expr
val expand_sql_literal : ?is_init:bool -> cacheable:bool -> 'a -> Camlp4.PreCast.Ast.loc -> string -> Camlp4.PreCast.Ast.expr
val string_list_expr : ?_loc:Camlp4.PreCast.Ast.loc -> string list -> Camlp4.PreCast.Ast.expr
val expand_sqlite_check_functions : 'a -> Camlp4.PreCast.Ast.loc -> Camlp4.PreCast.Ast.expr