package merlin-lib

  1. Overview
  2. Docs
package merlin-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Ocaml_typing.Typedecl_varianceSource

Sourcetype surface_variance = bool * bool * bool
Sourcetype prop = Types.Variance.t list
Sourcetype req = surface_variance list
Sourcetype variance_error =
  1. | Variance_not_satisfied of int
  2. | No_variable
  3. | Variance_not_reflected
  4. | Variance_not_deducible
Sourcetype error =
  1. | Bad_variance of variance_error * surface_variance * surface_variance
  2. | Varying_anonymous
Sourceval compute_decl : Env.t -> check:bool -> Types.type_declaration -> req -> prop