links

The Links Programming Language
IN THIS PACKAGE
type db = t
type t = {
tables : (string * string) list;
cols : Column.t list;
predicate : Phrase.Option.t;
}
val select : t -> predicate:Phrase.Option.t -> t

Add a further selection criterion to an existing predicate.

val of_sort : sort:Sort.t -> t

Construct a select query from a lens sort.

val fmt : db:db -> Format.formatter -> t -> unit
val execute : t -> db:db -> field_types:(string * Links_lens__Phrase_type.t) list -> Links_lens__Phrase_value.t list
val query_exists : t -> db:db -> bool