package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val reduce_and : (QueryLang.t * QueryLang.t) -> QueryLang.t

val reduce_where_then : (QueryLang.t * QueryLang.t) -> QueryLang.t

module Eval : sig ... end

val compile_update : 
  Value.database ->
  Value.env ->
  ((Ir.var * string * Types.datatype Utility.StringMap.t)
   * Ir.computation option
   * Ir.computation) ->
  Sql.query

val compile_delete : 
  Value.database ->
  Value.env ->
  ((Ir.var * string * Types.datatype Utility.StringMap.t)
   * Ir.computation option) ->
  Sql.query