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/stdlib/Stdlib/Type/index.html
Module Stdlib.Type
Source
Type introspection.
Type equality witness
The purpose of eq
is to represent type equalities that may not otherwise be known by the type checker (e.g. because they may depend on dynamic data).
A value of type (a, b) eq
represents the fact that types a
and b
are equal.
If one has a value eq : (a, b) eq
that proves types a
and b
are equal, one can use it to convert a value of type a
to a value of type b
by pattern matching on Equal
:
let cast (type a) (type b) (Equal : (a, b) Type.eq) (a : a) : b = a
At runtime, this function simply returns its second argument unchanged.
Type identifiers
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page