links

The Links Programming Language
IN THIS PACKAGE
module Q = QueryLang
val base : Sql.index -> Q.t -> Sql.base
module OpHelpers : sig ... end
val forever_const : Links_core__CommonTypes.Constant.t
val sql_forever : Sql.base
val current_at : Sql.base -> Sql.base -> Sql.base -> Sql.base
val current_insertion : Sql.table_name -> string list -> string -> string -> Value.t list list -> Sql.query
module TransactionTime : sig ... end
module ValidTime : sig ... end
module TemporalJoin : sig ... end