links

The Links Programming Language
IN THIS PACKAGE
module Q = Query
module QL = QueryLang
val tag_query : QL.t -> QL.t
val tuple : QL.t list -> QL.t
val pair : QL.t -> QL.t -> QL.t
module Shred : sig ... end
module Split : sig ... end
module LetInsertion : sig ... end
module FlattenRecords : sig ... end
module Stitch : sig ... end
val unordered_query_package : Types.datatype -> QL.t -> (Sql.query * Shred.flat_type) Shred.package