Mercurial > urweb
comparison src/cjr_env.sig @ 166:a991431b77eb
Start of unurlify for datatypes
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 29 Jul 2008 14:28:44 -0400 |
parents | 813e5a52063d |
children | 31dfab1d4050 |
comparison
equal
deleted
inserted
replaced
165:e52dfb1e6b19 | 166:a991431b77eb |
---|---|
34 exception UnboundRel of int | 34 exception UnboundRel of int |
35 exception UnboundNamed of int | 35 exception UnboundNamed of int |
36 exception UnboundF of int | 36 exception UnboundF of int |
37 exception UnboundStruct of int | 37 exception UnboundStruct of int |
38 | 38 |
39 val pushTNamed : env -> string -> int -> Cjr.typ option -> env | 39 val pushDatatype : env -> string -> int -> (string * int * Cjr.typ option) list -> env |
40 val lookupTNamed : env -> int -> string * Cjr.typ option | 40 val lookupDatatype : env -> int -> string * (string * int * Cjr.typ option) list |
41 | 41 |
42 val pushERel : env -> string -> Cjr.typ -> env | 42 val pushERel : env -> string -> Cjr.typ -> env |
43 val lookupERel : env -> int -> string * Cjr.typ | 43 val lookupERel : env -> int -> string * Cjr.typ |
44 val listERels : env -> (string * Cjr.typ) list | 44 val listERels : env -> (string * Cjr.typ) list |
45 val countERels : env -> int | 45 val countERels : env -> int |