links

The Links Programming Language
IN THIS PACKAGE
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