Module `Ocaml_typing.Subst`Source

Sourcetype t

Sourceval identity : t

Sourceval add_type : Ident.t -> Path.t -> t -> t

Sourceval add_type_path : Path.t -> Path.t -> t -> t

val add_type_function : 
  Path.t ->
  params:Types.type_expr list ->
  body:Types.type_expr ->
  t ->
  t

Sourceval add_module : Ident.t -> Path.t -> t -> t

Sourceval add_module_path : Path.t -> Path.t -> t -> t

Sourceval add_modtype : Ident.t -> Types.module_type -> t -> t

Sourceval add_modtype_path : Path.t -> Types.module_type -> t -> t

Sourceval for_saving : t -> t

Sourceval make_loc_ghost : t -> t

Sourceval reset_for_saving : unit -> unit

Sourceval change_locs : t -> Ocaml_parsing.Location.t -> t

Sourceval module_path : t -> Path.t -> Path.t

Sourceval type_path : t -> Path.t -> Path.t

Sourceval modtype_path : t -> Path.t -> Path.t

Sourceval type_expr : t -> Types.type_expr -> Types.type_expr

Sourceval class_type : t -> Types.class_type -> Types.class_type

Sourceval value_description : t -> Types.value_description -> Types.value_description

Sourceval type_declaration : t -> Types.type_declaration -> Types.type_declaration

val extension_constructor : 
  t ->
  Types.extension_constructor ->
  Types.extension_constructor

Sourceval class_declaration : t -> Types.class_declaration -> Types.class_declaration

val cltype_declaration : 
  t ->
  Types.class_type_declaration ->
  Types.class_type_declaration

Sourcetype scoping =

Sourceval modtype : scoping -> t -> Types.module_type -> Types.module_type

Sourceval signature : scoping -> t -> Types.signature -> Types.signature

val signature_item : 
  scoping ->
  t ->
  Types.signature_item ->
  Types.signature_item

val modtype_declaration : 
  scoping ->
  t ->
  Types.modtype_declaration ->
  Types.modtype_declaration

val module_declaration : 
  scoping ->
  t ->
  Types.module_declaration ->
  Types.module_declaration

Sourceval compose : t -> t -> t

val ctype_apply_env_empty : 
  (Types.type_expr list ->
    Types.type_expr ->
    Types.type_expr list ->
    Types.type_expr)
    ref

Sourcemodule Lazy : sig ... end

Install