Mercurial > urweb

comparison src/cjr_env.sig @ 181:31dfab1d4050

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cjrize ECon
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 11:17:33 -0400
parents a991431b77eb
children 8e9f97508f0d
comparison
equal deleted inserted replaced
180:c7a5c8e0a0e0 181:31dfab1d4050
37 exception UnboundStruct of int 37 exception UnboundStruct of int
38 38
39 val pushDatatype : env -> string -> int -> (string * int * Cjr.typ option) list -> env 39 val pushDatatype : env -> string -> int -> (string * int * Cjr.typ option) list -> env
40 val lookupDatatype : env -> int -> string * (string * int * Cjr.typ option) list 40 val lookupDatatype : env -> int -> string * (string * int * Cjr.typ option) list
41 41
42 val lookupConstructor : env -> int -> string * Cjr.typ option * int
43
42 val pushERel : env -> string -> Cjr.typ -> env 44 val pushERel : env -> string -> Cjr.typ -> env
43 val lookupERel : env -> int -> string * Cjr.typ 45 val lookupERel : env -> int -> string * Cjr.typ
44 val listERels : env -> (string * Cjr.typ) list 46 val listERels : env -> (string * Cjr.typ) list
45 val countERels : env -> int 47 val countERels : env -> int
46 48