package merlin-lib

  1. Overview
  2. Docs
package merlin-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
type surface_variance = bool * bool * bool
type prop = Types.Variance.t list
type req = surface_variance list
type variance_error =
  1. | Variance_not_satisfied of int
  2. | No_variable
  3. | Variance_not_reflected
  4. | Variance_not_deducible
type error =
  1. | Bad_variance of variance_error * surface_variance * surface_variance
  2. | Varying_anonymous
exception Error of Ocaml_parsing.Location.t * error
val compute_decl : Env.t -> check:bool -> Types.type_declaration -> req -> prop