links

The Links Programming Language
IN THIS PACKAGE
type t =
| PredicateDoesntIgnoreOutputs of {
fds : Fun_dep.Set.t;
columns : Alias.Set.t;
}
(*

The underlying lens predicate doesn't ignore the outputs of the functional dependencies.

*)
| TreeFormError of {
error : Fun_dep.Tree.Tree_form_error.t;
}
(*

The functional dependencies are not in tree form.

*)
| UnboundColumns of Alias.Set.t(*

The specified columns are not bound by the lens.

*)
val equal : t -> t -> bool