package links

  1. Overview
  2. Docs
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_delete : Value.database -> Value.env -> ((Ir.var * string * Types.datatype Utility.StringMap.t) * Ir.computation option) -> Sql.query