Expand_tools (p.odoc.2.1.1.doc.odoc.xref2.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