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/Subst/Unsafe/index.html
Module Subst.Unsafe
Unsafe substitutions introduced by with
constraints, local substitutions (type t := int * int
) or recursive module check.
val add_modtype : Ident.t -> Types.module_type -> 'any subst -> t
Replacing a module type name S by a non-path signature is unsafe as the packed module type (module S)
becomes ill-formed.
val add_modtype_path : Path.t -> Types.module_type -> 'any subst -> t
Deep editing inside a module type require to retypecheck the module, for applicative functors in path and module aliases.
val add_type_function :
Path.t ->
params:Types.type_expr list ->
body:Types.type_expr ->
t ->
t
val type_declaration :
t ->
Types.type_declaration ->
Types.type_declaration res
val signature_item :
scoping ->
t ->
Types.signature_item ->
Types.signature_item res
val signature : scoping -> t -> Types.signature -> Types.signature res
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>