package links

  1. Overview
  2. Docs
type t =
  1. | UnboundColumns of Alias.Set.t
    (*

    The columns could not be found in the lens sort.

    *)
  2. | DefiningFDNotFound of Alias.Set.t
    (*

    A functional dependency X -> Y with Y = drop could not be found.

    *)
  3. | DropNotDefinedByKey
    (*

    A functional dependency could not be found which defines the columns to be dropped by the key.

    *)
  4. | DefaultDropMismatch
    (*

    The number of columns to drop does not match the number of default values specified.

    *)
  5. | DefaultDoesntMatchPredicate
    (*

    The default value a for A does not satisfy PA.

    *)
  6. | NotIndependent of Alias.Set.t
    (*

    It is not possible to tell that P = PA join PU-A.

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