links

The Links Programming Language
IN THIS PACKAGE
val insert : Sql.table_name -> string list -> string -> string -> Value.t list list -> Sql.query
val update : Types.datatype Utility.StringMap.t -> ((Ir.var * string) * Q.t option * Q.t) -> string -> string -> Sql.query
val delete : ((Ir.var * string) * Q.t option) -> string -> Sql.query
val compile_update : Value.env -> ((Ir.var * string * Types.datatype Utility.StringMap.t) * Ir.computation option * Ir.computation) -> string -> string -> Sql.query
val compile_delete : Value.database -> Value.env -> ((Ir.var * string * Types.datatype Utility.StringMap.t) * Ir.computation option) -> string -> Sql.query