Module Odoc_info.Module

type module_element = Odoc_module.module_element =
  1. | Element_module of t_module
  2. | Element_module_type of t_module_type
  3. | Element_included_module of included_module
  4. | Element_class of Class.t_class
  5. | Element_class_type of Class.t_class_type
  6. | Element_value of Value.t_value
  7. | Element_type_extension of Extension.t_type_extension
  8. | Element_exception of Exception.t_exception
  9. | Element_type of Type.t_type
  10. | Element_module_comment of text
and mmt = Odoc_module.mmt =
  1. | Mod of t_module
  2. | Modtype of t_module_type
and included_module = Odoc_module.included_module = {
  1. im_name : Name.t;
  2. mutable im_module : mmt option;
  3. mutable im_info : Odoc_types.info option;
}
and module_alias = Odoc_module.module_alias = {
  1. ma_name : Name.t;
  2. mutable ma_module : mmt option;
}
and module_parameter = Odoc_module.module_parameter = {
  1. mp_name : string;
  2. mp_type : Types.module_type option;
  3. mp_type_code : string;
  4. mp_kind : module_type_kind;
}
and module_kind = Odoc_module.module_kind =
  1. | Module_struct of module_element list
  2. | Module_alias of module_alias
  3. | Module_functor of module_parameter * module_kind
  4. | Module_apply of module_kind * module_kind
  5. | Module_apply_unit of module_kind
  6. | Module_with of module_type_kind * string
  7. | Module_constraint of module_kind * module_type_kind
  8. | Module_typeof of string
  9. | Module_unpack of string * module_type_alias
and t_module = Odoc_module.t_module = {
  1. m_name : Name.t;
  2. mutable m_type : Types.module_type;
  3. mutable m_info : info option;
  4. m_is_interface : bool;
  5. m_file : string;
  6. mutable m_kind : module_kind;
  7. mutable m_loc : location;
  8. mutable m_top_deps : Name.t list;
  9. mutable m_code : string option;
  10. mutable m_code_intf : string option;
  11. m_text_only : bool;
}
and module_type_alias = Odoc_module.module_type_alias = {
  1. mta_name : Name.t;
  2. mutable mta_module : t_module_type option;
}
and module_type_kind = Odoc_module.module_type_kind =
  1. | Module_type_struct of module_element list
  2. | Module_type_functor of module_parameter * module_type_kind
  3. | Module_type_alias of module_type_alias
  4. | Module_type_with of module_type_kind * string
  5. | Module_type_typeof of string
and t_module_type = Odoc_module.t_module_type = {
  1. mt_name : Name.t;
  2. mutable mt_info : info option;
  3. mutable mt_type : Types.module_type option;
  4. mt_is_interface : bool;
  5. mt_file : string;
  6. mutable mt_kind : module_type_kind option;
  7. mutable mt_loc : location;
}
val module_elements : ?trans:bool -> t_module -> module_element list
val module_modules : ?trans:bool -> t_module -> t_module list
val module_module_types : ?trans:bool -> t_module -> t_module_type list
val module_included_modules : ?trans:bool -> t_module -> included_module list
val module_type_extensions : ?trans:bool -> t_module -> Extension.t_type_extension list
val module_exceptions : ?trans:bool -> t_module -> Exception.t_exception list
val module_types : ?trans:bool -> t_module -> Type.t_type list
val module_values : ?trans:bool -> t_module -> Value.t_value list
val module_functions : ?trans:bool -> t_module -> Value.t_value list
val module_simple_values : ?trans:bool -> t_module -> Value.t_value list
val module_classes : ?trans:bool -> t_module -> Class.t_class list
val module_class_types : ?trans:bool -> t_module -> Class.t_class_type list
val module_all_classes : ?trans:bool -> t_module -> Class.t_class list
val module_is_functor : t_module -> bool
val module_parameters : ?trans:bool -> t_module -> (module_parameter * text option) list
val module_comments : ?trans:bool -> t_module -> text list
val module_type_elements : ?trans:bool -> t_module_type -> module_element list
val module_type_modules : ?trans:bool -> t_module_type -> t_module list
val module_type_module_types : ?trans:bool -> t_module_type -> t_module_type list
val module_type_included_modules : ?trans:bool -> t_module_type -> included_module list
val module_type_exceptions : ?trans:bool -> t_module_type -> Exception.t_exception list
val module_type_types : ?trans:bool -> t_module_type -> Type.t_type list
val module_type_values : ?trans:bool -> t_module_type -> Value.t_value list
val module_type_functions : ?trans:bool -> t_module_type -> Value.t_value list
val module_type_simple_values : ?trans:bool -> t_module_type -> Value.t_value list
val module_type_classes : ?trans:bool -> t_module_type -> Class.t_class list
val module_type_class_types : ?trans:bool -> t_module_type -> Class.t_class_type list
val module_type_all_classes : ?trans:bool -> t_module_type -> Class.t_class list
val module_type_is_functor : t_module_type -> bool
val module_type_parameters : ?trans:bool -> t_module_type -> (module_parameter * text option) list
val module_type_comments : ?trans:bool -> t_module_type -> text list