diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-19 18:46:54 +0100 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-19 18:52:45 +0100 |
commit | 2cf8f76ea6a15d46b57d5c4ecf9513683561e284 (patch) | |
tree | c27263459f294a963966a2c0086793a8db460dd5 /lib/genarg.mli | |
parent | 87250b5090740e06aa717a45f05554a6804aa940 (diff) |
Removing the untyped representation of genargs.
Diffstat (limited to 'lib/genarg.mli')
-rw-r--r-- | lib/genarg.mli | 7 |
1 files changed, 1 insertions, 6 deletions
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} *) |