package ppx_import

  1. Overview
  2. Docs

Module Ppx_import

module Ot = Outcometree
module Tt : sig ... end
val raise_errorf : ?sub:Location.msg list -> ?loc:Location.t -> ('a, unit, string, 'b) format4 -> 'a
val replace_loc : Migrate_parsetree__Ast_407.Location.t -> Migrate_parsetree.Ast_407.Ast_mapper.mapper
val lazy_env : Env.t lazy_t
val string_of_lid : Longident.t -> string
val try_find_module : loc:'a -> Env.t -> Longident.t -> Types.module_type option
val try_find_module_type : loc:Location.t -> Env.t -> Longident.t -> Types.module_type option
val try_open_module_type : Env.t -> Types.module_type -> Types.signature option
val open_module_type : loc:Location.t -> Env.t -> Longident.t -> Types.module_type -> Types.signature
val locate_sig : loc:Location.t -> Env.t -> Longident.t -> Types.signature
val try_get_tsig_item : ('a -> 'b -> 'c option) -> loc:'d -> 'b list -> 'a -> 'c option
val get_type_decl : loc:'a -> Types.signature_item list -> Longident.t -> string -> Types.type_declaration
val get_modtype_decl : loc:'a -> Types.signature_item list -> Longident.t -> string -> Types.modtype_declaration
val longident_of_path : Path.t -> Longident.t
val core_type_of_type_expr : subst: ([> `Lid of Longident.t | `Var of string ] * Migrate_parsetree.Ast_407.Parsetree.core_type) list -> Types.type_expr -> Migrate_parsetree.Ast_407.Parsetree.core_type
val ptype_decl_of_ttype_decl : manifest:Migrate_parsetree.Ast_407.Parsetree.core_type option -> subst: ([> `Lid of Longident.t | `Var of string ] * Migrate_parsetree.Ast_407.Parsetree.core_type) list -> string Migrate_parsetree__Ast_407.Asttypes.loc -> Types.type_declaration -> Migrate_parsetree.Ast_407.Parsetree.type_declaration
val subst_of_manifest : Migrate_parsetree.Ast_407.Parsetree.core_type -> ([> `Lid of Migrate_parsetree__Ast_407.Longident.t ] * Migrate_parsetree.Ast_407.Parsetree.core_type) list
val uncapitalize : string -> string
val is_self_reference : Migrate_parsetree.Ast_407.Longident.t -> bool
val type_declaration : tool_name:string -> Migrate_parsetree.Ast_407.Ast_mapper.mapper -> Migrate_parsetree.Ast_407.Parsetree.type_declaration -> Migrate_parsetree.Ast_407.Parsetree.type_declaration
val cut_tsig_block_of_rec_types : (Ident.t * Types.type_declaration) list -> Ppx_import__.Compat.signature_item_407 list -> (Ident.t * Types.type_declaration) list * Ppx_import__.Compat.signature_item_407 list
val psig_of_tsig : subst: ([> `Lid of Longident.t | `Var of string ] * Migrate_parsetree.Ast_407.Parsetree.core_type) list -> Ppx_import__.Compat.signature_item_407 list -> Migrate_parsetree.Ast_407.Parsetree.signature_item list
val module_type : tool_name:string -> Migrate_parsetree.Ast_407.Ast_mapper.mapper -> Migrate_parsetree.Ast_407.Parsetree.module_type -> Migrate_parsetree.Ast_407.Parsetree.module_type