ocaml-base-compiler 4.05.0

module Name = Odoc_name

type module_element =

| Element_module of t_module
| Element_module_type of t_module_type
| Element_included_module of included_module
| Element_class of Odoc_class.t_class
| Element_class_type of Odoc_class.t_class_type
| Element_value of Odoc_value.t_value
| Element_type_extension of Odoc_extension.t_type_extension
| Element_exception of Odoc_exception.t_exception
| Element_type of Odoc_type.t_type
| Element_module_comment of Odoc_types.text

and mmt =

| Mod of t_module
| Modtype of t_module_type

and included_module = {

im_name : Name.t;
mutable im_module : mmt option;
mutable im_info : Odoc_types.info option;

}

and module_alias = {

ma_name : Name.t;
mutable ma_module : mmt option;

}

and module_parameter = {

mp_name : string;
mp_type : Types.module_type option;
mp_type_code : string;
mp_kind : module_type_kind;

}

and module_kind =

| Module_struct of module_element list
| Module_alias of module_alias
| Module_functor of module_parameter * module_kind
| Module_apply of module_kind * module_kind
| Module_with of module_type_kind * string
| Module_constraint of module_kind * module_type_kind
| Module_typeof of string
| Module_unpack of string * module_type_alias

and t_module = {

m_name : Name.t;
mutable m_type : Types.module_type;
mutable m_info : Odoc_types.info option;
m_is_interface : bool;
m_file : string;
mutable m_kind : module_kind;
mutable m_loc : Odoc_types.location;
mutable m_top_deps : Name.t list;
mutable m_code : string option;
mutable m_code_intf : string option;
m_text_only : bool;

}

and module_type_alias = {

mta_name : Name.t;
mutable mta_module : t_module_type option;

}

and module_type_kind =

| Module_type_struct of module_element list
| Module_type_functor of module_parameter * module_type_kind
| Module_type_alias of module_type_alias
| Module_type_with of module_type_kind * string
| Module_type_typeof of string

and t_module_type = {

mt_name : Name.t;
mutable mt_info : Odoc_types.info option;
mutable mt_type : Types.module_type option;
mt_is_interface : bool;
mt_file : string;
mutable mt_kind : module_type_kind option;
mutable mt_loc : Odoc_types.location;

}

val values : module_element list -> Odoc_value.t_value list

val types : module_element list -> Odoc_type.t_type list

val type_extensions : 
  module_element list ->
  Odoc_extension.t_type_extension list

val exceptions : module_element list -> Odoc_exception.t_exception list

val classes : module_element list -> Odoc_class.t_class list

val class_types : module_element list -> Odoc_class.t_class_type list

val modules : module_element list -> t_module list

val mod_types : module_element list -> t_module_type list

val comments : module_element list -> Odoc_types.text list

val included_modules : module_element list -> included_module list

module S = Misc.StringSet

val module_type_elements : ?trans:bool -> t_module_type -> module_element list

val module_elements : ?trans:bool -> t_module -> module_element list

val module_values : ?trans:bool -> t_module -> Odoc_value.t_value list

val module_functions : ?trans:bool -> t_module -> Odoc_value.t_value list

val module_simple_values : ?trans:bool -> t_module -> Odoc_value.t_value list

val module_types : ?trans:bool -> t_module -> Odoc_type.t_type list

val module_type_extensions : 
  ?trans:bool ->
  t_module ->
  Odoc_extension.t_type_extension list

val module_exceptions : 
  ?trans:bool ->
  t_module ->
  Odoc_exception.t_exception list

val module_classes : ?trans:bool -> t_module -> Odoc_class.t_class list

val module_class_types : 
  ?trans:bool ->
  t_module ->
  Odoc_class.t_class_type 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_comments : ?trans:bool -> t_module -> Odoc_types.text list

val module_type_parameters : 
  ?trans:bool ->
  t_module_type ->
  (module_parameter * Odoc_types.text option) list

val module_parameters : 
  ?trans:bool ->
  t_module ->
  (module_parameter * Odoc_types.text option) list

val module_all_submodules : ?trans:bool -> t_module -> t_module list

val module_type_is_functor : t_module_type -> bool

val module_is_functor : t_module -> bool

val module_type_values : 
  ?trans:bool ->
  t_module_type ->
  Odoc_value.t_value list

val module_type_types : ?trans:bool -> t_module_type -> Odoc_type.t_type list

val module_type_type_extensions : 
  ?trans:bool ->
  t_module_type ->
  Odoc_extension.t_type_extension list

val module_type_exceptions : 
  ?trans:bool ->
  t_module_type ->
  Odoc_exception.t_exception list

val module_type_classes : 
  ?trans:bool ->
  t_module_type ->
  Odoc_class.t_class list

val module_type_class_types : 
  ?trans:bool ->
  t_module_type ->
  Odoc_class.t_class_type 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_comments : ?trans:bool -> t_module_type -> Odoc_types.text list

val module_type_functions : 
  ?trans:bool ->
  t_module_type ->
  Odoc_value.t_value list

val module_type_simple_values : 
  ?trans:bool ->
  t_module_type ->
  Odoc_value.t_value list

val module_all_classes : ?trans:bool -> t_module -> Odoc_class.t_class list

val module_type_all_classes : 
  ?trans:bool ->
  t_module_type ->
  Odoc_class.t_class list

package ocaml-base-compiler