From 2cf8f76ea6a15d46b57d5c4ecf9513683561e284 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sat, 19 Mar 2016 18:46:54 +0100
Subject: Removing the untyped representation of genargs.

---
 lib/genarg.mli | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'lib/genarg.mli')

diff --git a/lib/genarg.mli b/lib/genarg.mli
index d509649f2..ac13f545b 100644
--- a/lib/genarg.mli
+++ b/lib/genarg.mli
@@ -187,12 +187,7 @@ val val_tag : 'a typed_abstract_argument_type -> 'a Val.tag
 
 (** {6 Type reification} *)
 
-type argument_type =
-  (** Specific types *)
-  | ListArgType of argument_type
-  | OptArgType of argument_type
-  | PairArgType of argument_type * argument_type
-  | ExtraArgType of string
+type argument_type = ArgumentType : ('a, 'b, 'c) genarg_type -> argument_type
 
 (** {6 Equalities} *)
 
-- 
cgit v1.2.3