package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t

val identity : t

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

val 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

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

val add_module_path : Path.t -> Path.t -> t -> t

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

val for_saving : t -> t

val reset_for_saving : unit -> unit

val module_path : t -> Path.t -> Path.t

val type_path : t -> Path.t -> Path.t

val type_expr : t -> Types.type_expr -> Types.type_expr

val class_type : t -> Types.class_type -> Types.class_type

val value_description : t -> Types.value_description -> Types.value_description

val type_declaration : t -> Types.type_declaration -> Types.type_declaration

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

val class_declaration : t -> Types.class_declaration -> Types.class_declaration

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

val modtype : t -> Types.module_type -> Types.module_type

val signature : t -> Types.signature -> Types.signature

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

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

val typexp : t -> Types.type_expr -> Types.type_expr

val class_signature : t -> Types.class_signature -> Types.class_signature

val compose : t -> t -> t

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