links

The Links Programming Language
IN THIS PACKAGE
type db = t
type t = {
table : string;
predicate : Phrase.Option.t;
set : (string * Links_lens__Phrase_value.t) list;
}
val fmt : db:db -> Format.formatter -> t -> unit