links

The Links Programming Language
IN THIS PACKAGE
module Insert : sig ... end
module Update : sig ... end
module Delete : sig ... end
val compile_update : Ir.valid_time_update -> Value.database -> Value.env -> ((Ir.var * string * Types.datatype Utility.StringMap.t) * Ir.computation option * Ir.computation) -> string -> string -> Sql.query
val compile_delete : Ir.valid_time_deletion -> Value.database -> Value.env -> ((Ir.var * string * Types.datatype Utility.StringMap.t) * Ir.computation option) -> string -> string -> Sql.query