links

The Links Programming Language
IN THIS PACKAGE
val current : Sql.table_name -> string list -> string -> string -> Value.t list list -> Sql.query
val valid_time_row_columns_values : string -> string -> Value.t -> string list * Sql.base list list
val sequenced : Sql.table_name -> string -> string -> Value.t -> Sql.query