Odoc_xref2.Expand_tools
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
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