links

The Links Programming Language
IN THIS PACKAGE
val query_bindings_of_env : QueryLang.env -> (Var.var * QueryLang.t) list
val computation : QueryLang.env -> Ir.computation -> QueryLang.t
val contains_free : Var.var list -> QueryLang.t -> bool