package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val flatfield : string -> string -> string

val flattened_pair : QueryLang.t -> QueryLang.t -> QueryLang.t

val flattened_pair_ft : 
  QueryLang.t ->
  QueryLang.t ->
  Types.datatype Utility.stringmap

val type_of_for_var : QueryLang.t -> Types.datatype

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

val reduce_and : (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