summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_info.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_info.mli')
-rw-r--r--ocamldoc/odoc_info.mli7
1 files changed, 5 insertions, 2 deletions
diff --git a/ocamldoc/odoc_info.mli b/ocamldoc/odoc_info.mli
index bd26000c8..a2b3615cd 100644
--- a/ocamldoc/odoc_info.mli
+++ b/ocamldoc/odoc_info.mli
@@ -203,8 +203,10 @@ module Type :
(** The various kinds of a type. *)
type type_kind = Odoc_type.type_kind =
Type_abstract (** Type is abstract, for example [type t]. *)
- | Type_variant of variant_constructor list
- | Type_record of record_field list
+ | Type_variant of variant_constructor list * bool
+ (** constructors * bool *)
+ | Type_record of record_field list * bool
+ (** fields * bool *)
(** Representation of a type. *)
type t_type = Odoc_type.t_type =
@@ -217,6 +219,7 @@ module Type :
mutable ty_loc : location ;
mutable ty_code : string option;
}
+
end
(** Representation and manipulation of values, class attributes and class methods. *)