Module Types.Variance
val null : Types.Variance.tval full : Types.Variance.tval covariant : Types.Variance.tval unknown : Types.Variance.tval union : Types.Variance.t -> Types.Variance.t -> Types.Variance.tval inter : Types.Variance.t -> Types.Variance.t -> Types.Variance.tval subset : Types.Variance.t -> Types.Variance.t -> boolval eq : Types.Variance.t -> Types.Variance.t -> boolval set : Types.Variance.f -> Types.Variance.t -> Types.Variance.tval set_if : bool -> Types.Variance.f -> Types.Variance.t -> Types.Variance.tval mem : Types.Variance.f -> Types.Variance.t -> boolval conjugate : Types.Variance.t -> Types.Variance.tval compose : Types.Variance.t -> Types.Variance.t -> Types.Variance.tval strengthen : Types.Variance.t -> Types.Variance.tval get_upper : Types.Variance.t -> bool * boolval get_lower : Types.Variance.t -> bool * bool * boolval unknown_signature : injective:bool -> arity:int -> Types.Variance.t listThe most pessimistic variance for a completely unknown type.