summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_type.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_type.ml')
-rw-r--r--ocamldoc/odoc_type.ml6
1 files changed, 4 insertions, 2 deletions
diff --git a/ocamldoc/odoc_type.ml b/ocamldoc/odoc_type.ml
index 9080850df..4e53fac15 100644
--- a/ocamldoc/odoc_type.ml
+++ b/ocamldoc/odoc_type.ml
@@ -32,8 +32,10 @@ type record_field = {
(** The various kinds of type. *)
type type_kind =
Type_abstract
- | 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 = {