package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.09.0

Install

Dune Dependency

Authors

Maintainers

Sources

4.09.0.tar.gz
sha256=a7bc044167e7d09f8e3ea84b88ec9d81392908ecdac861d3d5015e5f0fc496a3
md5=76ac39570fc88b16fda2a94db7cd5cf3

doc/ocamlcommon/Typedecl_variance/index.html

Module Typedecl_variance

type surface_variance = bool * bool * bool
val variance_of_params : (Parsetree.core_type * Asttypes.variance) list -> surface_variance list
val variance_of_sdecl : Parsetree.type_declaration -> surface_variance list
type prop = Types.Variance.t list
type req = surface_variance list
type error =
  1. | Bad_variance of int * surface_variance * surface_variance
  2. | Varying_anonymous
exception Error of Location.t * error
val check_variance_extension : Env.t -> Types.type_declaration -> Typedtree.extension_constructor -> (req * Location.t) -> unit
val compute_decl : Env.t -> check:bool -> Types.type_declaration -> req -> prop
OCaml

Innovation. Community. Security.