Odoc_xref2.Expand_toolstype expansion = | Signature of Component.Signature.t |
| Functor of Component.FunctorParameter.t * Component.ModuleType.expr |
val module_needs_recompile : Component.Module.t -> boolval module_decl_needs_recompile : Component.Module.decl -> boolval module_type_expr_needs_recompile : Component.ModuleType.expr -> boolval module_type_needs_recompile : Component.ModuleType.t -> boolval aux_expansion_of_module : Env.t -> strengthen:bool -> Component.Module.t -> (expansion, Errors.Tools_error.signature_of_module_error) Result.resultval aux_expansion_of_module_decl : Env.t -> strengthen:bool -> Component.Module.decl -> (expansion, Errors.Tools_error.signature_of_module_error) Result.resultval aux_expansion_of_module_alias : Env.t -> strengthen:bool -> Cpath.module_ -> (expansion, Errors.Tools_error.signature_of_module_error) Result.resultval unresolve_subs : Component.ModuleType.substitution list -> Component.ModuleType.substitution listval aux_expansion_of_module_type_type_of_desc : Env.t -> Component.ModuleType.type_of_desc -> (expansion, Errors.Tools_error.signature_of_module_error) Result.resultval assert_not_functor : expansion -> (Component.Signature.t, Errors.Tools_error.signature_of_module_error) Utils.ResultMonad.resultval aux_expansion_of_u_module_type_expr : Env.t -> Component.ModuleType.U.expr -> (Component.Signature.t, Errors.Tools_error.signature_of_module_error) Result.resultval aux_expansion_of_module_type_expr : Env.t -> Component.ModuleType.expr -> (expansion, Errors.Tools_error.signature_of_module_error) Result.resultval aux_expansion_of_module_type : Env.t -> Component.ModuleType.t -> (expansion, Errors.Tools_error.signature_of_module_error) Utils.ResultMonad.resultval 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.resultval 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.resultval 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.resultval 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.resultval 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.resultval 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.resultval type_expr : (string * Odoc_model.Lang.TypeExpr.t) list -> Odoc_model.Lang.TypeExpr.t -> Odoc_model.Lang.TypeExpr.tval polymorphic_variant : (string * Odoc_model.Lang.TypeExpr.t) list -> Odoc_model.Lang.TypeExpr.Polymorphic_variant.t -> Odoc_model.Lang.TypeExpr.Polymorphic_variant.tval object_ : (string * Odoc_model.Lang.TypeExpr.t) list -> Odoc_model.Lang.TypeExpr.Object.t -> Odoc_model.Lang.TypeExpr.Object.tval package : (string * Odoc_model.Lang.TypeExpr.t) list -> Odoc_model.Lang.TypeExpr.Package.t -> Odoc_model.Lang.TypeExpr.Package.tval 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