package ocaml-base-compiler
Official release 5.2.0
Install
Dune Dependency
Authors
Maintainers
Sources
5.2.0.tar.gz
sha256=48554abfd530fcdaa08f23f801b699e4f74c320ddf7d0bd56b0e8c24e55fc911
doc/compiler-libs.common/Typetexp/TyVarEnv/index.html
Module Typetexp.TyVarEnv
val make_poly_univars : string list -> poly_univars
remember that a list of strings connotes univars; this must always be paired with a check_poly_univars
.
val check_poly_univars :
Env.t ->
Location.t ->
poly_univars ->
Types.type_expr list
Verify that the given univars are universally quantified, and return the list of variables. The type in which the univars are used must be generalised
val instance_poly_univars :
Env.t ->
Location.t ->
poly_univars ->
Types.type_expr list
Same as check_poly_univars
, but instantiates the resulting type scheme (i.e. variables become Tvar rather than Tunivar)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>