links

The Links Programming Language
IN THIS PACKAGE
val flatfield : string -> string -> string
val flattened_pair : QueryLang.t -> QueryLang.t -> QueryLang.t
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_delete : Value.database -> Value.env -> ((Ir.var * string * Types.datatype Utility.StringMap.t) * Ir.computation option) -> Sql.query