package links

  1. Overview
  2. Docs
module QL = QueryLang
module E = MixingQuery.Eval
module S = Sql
exception EvalMixingUnimplemented of string
val error : string -> 'a
val eval_error : ('r, unit, string, 'a) format4 -> 'r0
val mapstrcat : string -> ('a -> string) -> 'a list -> string
val dummy_sql_empty_query : S.multiplicity * S.select_fields * 'a list * S.base * 'b list
val dependency_of_contains_free : bool -> S.dependency
val disjunct : S.multiplicity -> QL.t -> S.query
val generator : Var.var list -> (Var.var * QL.t) -> S.from_clause
val body : S.multiplicity -> (Var.var * QL.t) list -> QL.t list -> QL.t -> S.select_clause
val base_exp : QL.t -> S.base
val sql_of_query : QL.t -> S.query
val compile_mixing : delateralize:CommonTypes.QueryPolicy.t -> Value.env -> ((int * int) option * Ir.computation) -> (Value.database * Sql.query * Types.datatype) option