links

The Links Programming Language
IN THIS PACKAGE
Module Links_lens . Fun_dep
type t
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val pp_pretty : Format.formatter -> t -> unit

Print functional dependencies in a human readable form, e.g. 'Col1 Col2 -> Col 3'

val make : Alias.Set.t -> Alias.Set.t -> t

Construct a new functional dependency. Example:

let fd = Fun_dep.make left right in
...
val left : t -> Alias.Set.t

Get the left side of a functional dependency (i.e. left of X -> Y returns X)

val right : t -> Alias.Set.t

Get the right side of a functional dependency (i.e. left of X -> Y returns Y)

val of_lists : (Alias.t list * Alias.t list) -> t

Convert two sets of alias lists into a functional dependency

val key_fd : keys:Alias.t list -> cols:Alias.t list -> t

Construct a single functional dependency from a set of columns and a key

module Check_error : sig ... end
module Remove_defines_error : sig ... end
module Compare : sig ... end
module Set : sig ... end
module Tree : sig ... end