summaryrefslogtreecommitdiff
path: root/src/mono_util.sig
diff options
context:
space:
mode:
Diffstat (limited to 'src/mono_util.sig')
-rw-r--r--src/mono_util.sig2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mono_util.sig b/src/mono_util.sig
index 4a48671d..4e9d5d91 100644
--- a/src/mono_util.sig
+++ b/src/mono_util.sig
@@ -45,7 +45,7 @@ end
structure Exp : sig
datatype binder =
- NamedT of string * int * Mono.typ option
+ Datatype of string * int * (string * int * Mono.typ option) list
| RelE of string * Mono.typ
| NamedE of string * int * Mono.typ * Mono.exp option * string