links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Query
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