package ocaml-compiler
Official release of OCaml 5.3.0
Install
Dune Dependency
Authors
Maintainers
Sources
ocaml-5.3.0.tar.gz
sha256=22c1dd9de21bf43b62d1909041fb5fad648905227bf69550a6a6bef31e654f38
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)"
>