From fee254e2f7a343629df31d5a39780ca4698de571 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 27 Jul 2017 16:29:27 +0200
Subject: Cleaning up code in internalization.

---
 src/tac2expr.mli | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'src/tac2expr.mli')

diff --git a/src/tac2expr.mli b/src/tac2expr.mli
index b268e70cb3..e564dbde78 100644
--- a/src/tac2expr.mli
+++ b/src/tac2expr.mli
@@ -53,9 +53,18 @@ type 'a glb_typexpr =
 | GTypTuple of 'a glb_typexpr list
 | GTypRef of type_constant * 'a glb_typexpr list
 
+type glb_alg_type = {
+  galg_constructors : (uid * int glb_typexpr list) list;
+  (** Constructors of the algebraic type *)
+  galg_nconst : int;
+  (** Number of constant constructors *)
+  galg_nnonconst : int;
+  (** Number of non-constant constructors *)
+}
+
 type glb_typedef =
 | GTydDef of int glb_typexpr option
-| GTydAlg of (uid * int glb_typexpr list) list
+| GTydAlg of glb_alg_type
 | GTydRec of (lid * mutable_flag * int glb_typexpr) list
 | GTydOpn
 
-- 
cgit v1.2.3