links

The Links Programming Language
IN THIS PACKAGE
type gen = Var.var * QL.t
val inner : QL.t -> QL.t
val query : QL.t -> QL.t list