package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type let_clause = Var.var * QL.t * Var.var * QL.t

val pp_let_clause : 
  Ppx_deriving_runtime.Format.formatter ->
  let_clause ->
  Ppx_deriving_runtime.unit

val show_let_clause : let_clause -> Ppx_deriving_runtime.string

type query = let_clause list

val pp_query : 
  Ppx_deriving_runtime.Format.formatter ->
  query ->
  Ppx_deriving_runtime.unit

val show_query : query -> Ppx_deriving_runtime.string

type cond = QL.t option

type gen = QL.genkind * Var.var * QL.t

val where : QL.t option -> QL.t -> QL.t

val index : QL.t

val position_of : 'a -> 'a list -> int option

val init : 'a list -> 'a list

val last : 'a list -> 'a

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