Expand_tools (odoc.Odoc_xref2.Expand

type expansion =

| Signature of Component.Signature.t

| Functor of Component.FunctorParameter.t * Component.ModuleType.expr

val module_needs_recompile : Component.Module.t -> bool

val module_decl_needs_recompile : Component.Module.decl -> bool

val module_type_expr_needs_recompile : Component.ModuleType.expr -> bool

val module_type_needs_recompile : Component.ModuleType.t -> bool

val aux_expansion_of_module : Env.t -> strengthen:bool -> Component.Module.t -> (expansion, Errors.Tools_error.signature_of_module_error) Result.result

val aux_expansion_of_module_decl : Env.t -> strengthen:bool -> Component.Module.decl -> (expansion, Errors.Tools_error.signature_of_module_error) Result.result

val aux_expansion_of_module_alias : Env.t -> strengthen:bool -> Cpath.module_ -> (expansion, Errors.Tools_error.signature_of_module_error) Result.result

val unresolve_subs : Component.ModuleType.substitution list -> Component.ModuleType.substitution list

val aux_expansion_of_module_type_type_of_desc : Env.t -> Component.ModuleType.type_of_desc -> (expansion, Errors.Tools_error.signature_of_module_error) Result.result

val assert_not_functor : expansion -> (Component.Signature.t, Errors.Tools_error.signature_of_module_error) Utils.ResultMonad.result

val aux_expansion_of_u_module_type_expr : Env.t -> Component.ModuleType.U.expr -> (Component.Signature.t, Errors.Tools_error.signature_of_module_error) Result.result

val aux_expansion_of_module_type_expr : Env.t -> Component.ModuleType.expr -> (expansion, Errors.Tools_error.signature_of_module_error) Result.result

val aux_expansion_of_module_type : Env.t -> Component.ModuleType.t -> (expansion, Errors.Tools_error.signature_of_module_error) Utils.ResultMonad.result

val handle_expansion : Env.t -> Odoc_model.Paths.Identifier.Signature.t -> expansion -> (Env.t * Component.ModuleType.simple_expansion, Errors.Tools_error.signature_of_module_error) Result.result

val expansion_of_module_type : Env.t -> Odoc_model.Paths.Identifier.ModuleType.t -> Component.ModuleType.t -> (Env.t * bool * Component.ModuleType.simple_expansion, Errors.Tools_error.signature_of_module_error) Utils.ResultMonad.result

val expansion_of_module_type_expr : Env.t -> Odoc_model.Paths.Identifier.Signature.t -> Component.ModuleType.expr -> (Env.t * bool * Component.ModuleType.simple_expansion, Errors.Tools_error.signature_of_module_error) Utils.ResultMonad.result

val expansion_of_u_module_type_expr : Env.t -> Odoc_model.Paths.Identifier.Signature.t -> Component.ModuleType.U.expr -> (Env.t * bool * Component.ModuleType.simple_expansion, Errors.Tools_error.signature_of_module_error) Utils.ResultMonad.result

val expansion_of_module_alias : Env.t -> Odoc_model.Paths.Identifier.Module.t -> Cpath.module_ -> (Env.t * bool * Component.ModuleType.simple_expansion, Errors.Tools_error.signature_of_module_error) Utils.ResultMonad.result

val expansion_of_module_type_of_desc : Env.t -> Odoc_model.Paths.Identifier.Signature.t -> Component.ModuleType.type_of_desc -> (Env.t * Component.ModuleType.simple_expansion, Errors.Tools_error.signature_of_module_error) Utils.ResultMonad.result

exception Clash

val type_expr : (string * Odoc_model.Lang.TypeExpr.t) list -> Odoc_model.Lang.TypeExpr.t -> Odoc_model.Lang.TypeExpr.t

val polymorphic_variant : (string * Odoc_model.Lang.TypeExpr.t) list -> Odoc_model.Lang.TypeExpr.Polymorphic_variant.t -> Odoc_model.Lang.TypeExpr.Polymorphic_variant.t

val object_ : (string * Odoc_model.Lang.TypeExpr.t) list -> Odoc_model.Lang.TypeExpr.Object.t -> Odoc_model.Lang.TypeExpr.Object.t

val package : (string * Odoc_model.Lang.TypeExpr.t) list -> Odoc_model.Lang.TypeExpr.Package.t -> Odoc_model.Lang.TypeExpr.Package.t

val collapse_eqns : Odoc_model.Lang.TypeDecl.Equation.t -> Odoc_model.Lang.TypeDecl.Equation.t -> Odoc_model.Lang.TypeExpr.t list -> Odoc_model.Lang.TypeDecl.Equation.t