val read_interface :
'a ->
string ->
Types.signature ->
'a DocOckPaths.Identifier.module_
* 'a DocOckTypes.Documentation.t
* 'a DocOckTypes.Signature.tval read_label : Asttypes.arg_label -> DocOckTypes.TypeExpr.label optionval mark_type_expr : Types.type_expr -> unitval read_type_expr :
'a DocOckIdentEnv.t ->
Types.type_expr ->
'a DocOckTypes.TypeExpr.tval mark_type_extension :
Types.type_expr list ->
Types.extension_constructor list ->
Types.type_expr listval read_type_parameter :
bool ->
Types.Variance.t ->
Types.type_expr ->
DocOckTypes.TypeDecl.paramval mark_class_declaration : Types.class_declaration -> unitval read_self_type : Types.type_expr -> 'a DocOckTypes.TypeExpr.t optionval read_type_constraints :
'a DocOckIdentEnv.t ->
Types.type_expr list ->
('a DocOckTypes.TypeExpr.t * 'a DocOckTypes.TypeExpr.t) listval read_class_signature :
'a DocOckIdentEnv.t ->
'a DocOckPaths.Identifier.class_signature ->
Types.type_expr list ->
Types.class_type ->
'a DocOckTypes.ClassType.exprval read_class_type :
'a DocOckIdentEnv.t ->
'a DocOckPaths.Identifier.class_signature ->
Types.type_expr list ->
Types.class_type ->
'a DocOckTypes.Class.declval read_module_type :
'a DocOckIdentEnv.t ->
'a DocOckPaths.Identifier.signature ->
int ->
Types.module_type ->
'a DocOckTypes.ModuleType.exprval read_signature :
'a DocOckIdentEnv.t ->
'a DocOckPaths.Identifier.signature ->
Types.signature ->
'a DocOckTypes.Signature.tval read_extension_constructor :
'a DocOckIdentEnv.t ->
'a DocOckPaths.Identifier.signature ->
Ident.t ->
Types.extension_constructor ->
'a DocOckTypes.Extension.Constructor.tval read_exception :
'a DocOckIdentEnv.t ->
'a DocOckPaths.Identifier.signature ->
Ident.t ->
Types.extension_constructor ->
'a DocOckTypes.Exception.t