links

The Links Programming Language
IN THIS PACKAGE
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 : db:Links_lens.Database.t -> Links_lens.Value.t -> Sorted.t -> Sorted.t
val query_join_records : db:Links_lens.Database.t -> Links_lens.Value.t -> Sorted.t -> string list -> Sorted.t
val query_project_records : db:Links_lens.Database.t -> Links_lens.Value.t -> Sorted.t -> string list -> string list -> Sorted.t
val lens_put_set_step : db:Links_lens.Database.t -> env:env -> Links_lens.Value.t -> Sorted.t -> ( env:env -> Links_lens.Value.t -> Sorted.t -> env ) -> env
val lens_get_delta : db:Links_lens.Database.t -> Links_lens.Value.t -> Links_lens__Phrase_value.t list -> Sorted.t
val lens_put_step : db:Links_lens.Database.t -> 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 -> 'a0 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 -> db:Links_lens.Database.Change.db -> 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 : db:Links_lens.Database.Change.db -> Links_lens.Value.t -> Links_lens__Phrase_value.t list -> unit