package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val metadata : 
  Var.var ->
  Types.datatype Utility.StringMap.t ->
  Utility.StringMap.key ->
  Utility.StringMap.key ->
  Q.t

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