links

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