links

The Links Programming Language
IN THIS PACKAGE
type let_clause = Var.var * QL.t * Var.var * QL.t
val show_let_clause : let_clause -> Ppx_deriving_runtime.string
type query = let_clause list
type cond = QL.t option
type gen = Var.var * QL.t
val where : QL.t option -> QL.t -> QL.t
val index : QL.t
val position_of : 'a -> 'b list -> int option
val init : 'a list -> 'b list
val last : 'a list -> 'b
val gens : QL.t -> gen list list
val orders : QL.t -> QL.t list list
val conds : QL.t -> cond list
val body : QL.t -> QL.t
val fields_of_list : string list -> Utility.StringSet.t
val index_type : Types.datatype
val lins_inner : (Var.var * Types.datatype) -> Var.var list -> QL.t -> QL.t
val lins_inner_query : (Var.var * Types.datatype) -> Var.var list -> QL.t -> QL.t
val lins : QL.t -> let_clause
val lins_query : QL.t -> query