summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_type.ml
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2008-05-21 05:56:39 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2008-05-21 05:56:39 +0000
commit39a65f59dcab1bc283be1cb7b5aad96381e14619 (patch)
treee520fc591ad545f2ad060f5b6975116531a36e99 /ocamldoc/odoc_type.ml
parentad3ca0e02bac852cd86a1084b5434fd0dc96cd38 (diff)
expose definition of private_flag so it can be used by users of the ocamldoc library
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_type.ml')
-rw-r--r--ocamldoc/odoc_type.ml15
1 files changed, 9 insertions, 6 deletions
diff --git a/ocamldoc/odoc_type.ml b/ocamldoc/odoc_type.ml
index eaaca5dc7..220a91a4e 100644
--- a/ocamldoc/odoc_type.ml
+++ b/ocamldoc/odoc_type.ml
@@ -15,12 +15,15 @@
module Name = Odoc_name
+type private_flag = Asttypes.private_flag =
+ Private | Public
+
(** Description of a variant type constructor. *)
type variant_constructor = {
vc_name : string ;
vc_args : Types.type_expr list ; (** arguments of the constructor *)
mutable vc_text : Odoc_types.text option ; (** optional user description *)
- }
+ }
(** Description of a record type field. *)
type record_field = {
@@ -28,10 +31,10 @@ type record_field = {
rf_mutable : bool ; (** true if mutable *)
rf_type : Types.type_expr ;
mutable rf_text : Odoc_types.text option ; (** optional user description *)
- }
+ }
(** The various kinds of type. *)
-type type_kind =
+type type_kind =
Type_abstract
| Type_variant of variant_constructor list
(** constructors *)
@@ -42,12 +45,12 @@ type type_kind =
type t_type = {
ty_name : Name.t ;
mutable ty_info : Odoc_types.info option ; (** optional user information *)
- ty_parameters : (Types.type_expr * bool * bool) list ;
+ ty_parameters : (Types.type_expr * bool * bool) list ;
(** type parameters: (type, covariant, contravariant) *)
ty_kind : type_kind ;
- ty_private : Asttypes.private_flag;
+ ty_private : private_flag;
ty_manifest : Types.type_expr option; (** type manifest *)
mutable ty_loc : Odoc_types.location ;
mutable ty_code : string option;
- }
+ }