links

The Links Programming Language
IN THIS PACKAGE
val tables : (Q.t * string * string) list
method private set_tables : visitor -> (Q.t * string * string) list -> 'b
method start_time : 'b -> Q.t
method end_time : 'b -> Q.t
method query : 'b -> Links_core__QueryLang.t -> 'b * Q.t