Mercurial > urweb

diff src/cjr_env.sig @ 166:a991431b77eb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of unurlify for datatypes
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 14:28:44 -0400
parents 813e5a52063d
children 31dfab1d4050
line wrap: on
line diff
--- a/src/cjr_env.sig	Tue Jul 29 13:50:53 2008 -0400
+++ b/src/cjr_env.sig	Tue Jul 29 14:28:44 2008 -0400
@@ -36,8 +36,8 @@
     exception UnboundF of int
     exception UnboundStruct of int
 
-    val pushTNamed : env -> string -> int -> Cjr.typ option -> env
-    val lookupTNamed : env -> int -> string * Cjr.typ option
+    val pushDatatype : env -> string -> int -> (string * int * Cjr.typ option) list -> env
+    val lookupDatatype : env -> int -> string * (string * int * Cjr.typ option) list
 
     val pushERel : env -> string -> Cjr.typ -> env
     val lookupERel : env -> int -> string * Cjr.typ