Typ (reference.merlin-lib.merlin-lib.ocaml_parsing.Ocaml_parsing.Ast

merlin-lib
- Library merlin-lib.analysis
  - Merlin_analysis
- Library merlin-lib.commands
  - Merlin_commands
- Library merlin-lib.config
  - Merlin_config
- Library merlin-lib.dot_protocol
  - Merlin_dot_protocol
- Library merlin-lib.extend
  - Merlin_extend
- Library merlin-lib.kernel
  - Merlin_kernel
- Library merlin-lib.ocaml_compression
  - Ocaml_compression
- Library merlin-lib.ocaml_merlin_specific
  - Merlin_specific
- Library merlin-lib.ocaml_parsing
  - Ocaml_parsing
- Library merlin-lib.ocaml_preprocess
  - Ocaml_preprocess
- Library merlin-lib.ocaml_typing
  - Ocaml_typing
- Library merlin-lib.ocaml_utils
  - Ocaml_utils
- Library merlin-lib.os_ipc
  - Os_ipc
- Library merlin-lib.query_commands
  - Query_commands
- Library merlin-lib.query_protocol
  - Query_protocol
- Library merlin-lib.sherlodoc
  - Merlin_sherlodoc
- Library merlin-lib.utils
  - Merlin_utils
- Sources

val mk : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.core_type_desc ->
  Parsetree.core_type

Sourceval attr : Parsetree.core_type -> Parsetree.attribute -> Parsetree.core_type

Sourceval any : ?loc:loc -> ?attrs:attrs -> unit -> Parsetree.core_type

Sourceval var : ?loc:loc -> ?attrs:attrs -> string -> Parsetree.core_type

Source

val arrow : 
  ?loc:loc ->
  ?attrs:attrs ->
  Asttypes.arg_label ->
  Parsetree.core_type ->
  Parsetree.core_type ->
  Parsetree.core_type

Source

val tuple : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.core_type list ->
  Parsetree.core_type

Source

val constr : 
  ?loc:loc ->
  ?attrs:attrs ->
  lid ->
  Parsetree.core_type list ->
  Parsetree.core_type

Source

val object_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.object_field list ->
  Asttypes.closed_flag ->
  Parsetree.core_type

Source

val class_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  lid ->
  Parsetree.core_type list ->
  Parsetree.core_type

Source

val alias : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.core_type ->
  string ->
  Parsetree.core_type

Source

val variant : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.row_field list ->
  Asttypes.closed_flag ->
  Asttypes.label list option ->
  Parsetree.core_type

Source

val poly : 
  ?loc:loc ->
  ?attrs:attrs ->
  str list ->
  Parsetree.core_type ->
  Parsetree.core_type

Source

val package : 
  ?loc:loc ->
  ?attrs:attrs ->
  lid ->
  (lid * Parsetree.core_type) list ->
  Parsetree.core_type

Source

val extension : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.extension ->
  Parsetree.core_type

Sourceval force_poly : Parsetree.core_type -> Parsetree.core_type

Source

val varify_constructors : 
  str list ->
  Parsetree.core_type ->
  Parsetree.core_type

varify_constructors newtypes te is type expression te, of which any of nullary type constructor tc is replaced by type variable of the same name, if tc's name appears in newtypes. Raise Syntaxerr.Variable_in_scope if any type variable inside te appears in newtypes.

since 4.05