package links

  1. Overview
  2. Docs
type t =
  1. | PredicateDoesntIgnoreOutputs of {
    1. fds : Fun_dep.Set.t;
    2. columns : Alias.Set.t;
    }
    (*

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

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

    The functional dependencies are not in tree form.

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

    The specified columns are not bound by the lens.

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