Compat (odoc.Odoc_model.Compat)

type visibility =

| Exported

| Hidden

type module_type =

| Mty_ident of Path.t

| Mty_signature of signature

| Mty_functor of functor_parameter * module_type

| Mty_alias of Path.t

and functor_parameter =

| Unit

| Named of Ident.t option * module_type

and module_presence =

| Mp_present

| Mp_absent

and signature = signature_item list

and signature_item =

| Sig_value of Ident.t * Types.value_description * visibility

| Sig_type of Ident.t * Types.type_declaration * Types.rec_status * visibility

| Sig_typext of Ident.t * Types.extension_constructor * Types.ext_status * visibility

| Sig_module of Ident.t * module_presence * module_declaration * Types.rec_status * visibility

| Sig_modtype of Ident.t * modtype_declaration * visibility

| Sig_class of Ident.t * Types.class_declaration * Types.rec_status * visibility

| Sig_class_type of Ident.t * Types.class_type_declaration * Types.rec_status * visibility

and module_declaration = {

md_type : module_type;

md_attributes : Parsetree.attributes;

md_loc : Location.t;

}

and modtype_declaration = {

mtd_type : module_type option;

mtd_attributes : Parsetree.attributes;

mtd_loc : Location.t;

}

val opt : ('a -> 'b) -> 'a option -> 'b option

val signature : Types.signature -> signature

val signature_item : Types.signature_item -> signature_item

val visibility : Types.visibility -> visibility

val module_type : Types.module_type -> module_type

val functor_parameter : Types.functor_parameter -> functor_parameter

val module_presence : Types.module_presence -> module_presence

val module_declaration : Types.module_declaration -> module_declaration

val modtype_declaration : Types.modtype_declaration -> modtype_declaration