package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Sorted = Links_lens.Sorted_records

type env

val matches_change : 
  ((string list * 'a) * (Links_lens__.Phrase_value.t list * 'b) list) list ->
  Links_lens__Phrase.t option

val delta_merge_affected : Links_lens.Value.t -> Sorted.t -> Sorted.t

val query_join_records : 
  Links_lens.Value.t ->
  Sorted.t ->
  string list ->
  Sorted.t

val query_project_records : 
  Links_lens.Value.t ->
  Sorted.t ->
  string list ->
  string list ->
  Sorted.t

val lens_put_set_step : 
  env:env ->
  Links_lens.Value.t ->
  Sorted.t ->
  (env:env -> Links_lens.Value.t -> Sorted.t -> env) ->
  env

val lens_get_delta : 
  Links_lens.Value.t ->
  Links_lens__.Phrase_value.t list ->
  Sorted.t

val lens_put_step : 
  Links_lens.Value.t ->
  Links_lens__.Phrase_value.t list ->
  (env:env -> Links_lens.Value.t -> Sorted.t -> env) ->
  env:env ->
  env

val take : 'a list -> int -> 'a list

val skip : 'a list -> int -> 'a list

module OrderedBoolList : sig ... end

module MapBoolList : sig ... end

val apply_delta : 
  table:Links_lens.Database.Table.t ->
  database:Links_lens.Database.t ->
  sort:Links_lens.Sort.t ->
  env:int Links_lens__Lens_map.Make(Links_lens__.Lens_int.Int).t ->
  Sorted.t ->
  int Links_lens__Lens_map.Make(Links_lens__.Lens_int.Int).t

val get_fds : 
  (string list * string list) list ->
  Links_lens.Column.t list ->
  Links_lens.Fun_dep.Set.t

val map_keys : Sorted.t -> Sorted.t

val lens_put : Links_lens.Value.t -> Links_lens__.Phrase_value.t list -> unit