package merlin-lib
Merlin's libraries
Install
Dune Dependency
Authors
Maintainers
Sources
merlin-4.18-414.tbz
sha256=f6d6f7a266141e358c1a869612c8135c859185d547ea3ba5c9ad7bb67fe30cc1
sha512=4f272bdb028fd984fef406f7e1eadd0a3ab99d94016316f1b842782b1d1bba2bd50dcf3b4021c2096c6d9b5e5f9f6bae61bedcfd9f933f15c190e01777ef83a9
doc/merlin-lib.ocaml_typing/Ocaml_typing/Datarepr/index.html
Module Ocaml_typing.DatareprSource
Source
val extension_descr :
current_unit:string ->
Path.t ->
Types.extension_constructor ->
Types.constructor_descriptionSource
val labels_of_type :
Path.t ->
Types.type_declaration ->
(Ident.t * Types.label_description) listSource
val constructors_of_type :
current_unit:string ->
Path.t ->
Types.type_declaration ->
(Ident.t * Types.constructor_description) listSource
val find_constr_by_tag :
Types.constructor_tag ->
Types.constructor_declaration list ->
Types.constructor_declarationSource
val constructor_existentials :
Types.constructor_arguments ->
Types.type_expr option ->
Types.type_expr list * Types.type_expr listTakes cd_args and cd_res from a constructor_declaration and returns:
- the types of the constructor's arguments
- the existential variables introduced by the constructor