Mercurial > urweb

comparison src/cjr_env.sig @ 101:717b6f8d8505

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First executable generated
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 11:13:49 -0400
parents d3cc191cb25f
children 813e5a52063d
comparison
equal deleted inserted replaced
100:f0f59e918cac 101:717b6f8d8505
32 val empty : env 32 val empty : env
33 33
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 38
38 val pushTNamed : env -> string -> int -> Cjr.typ option -> env 39 val pushTNamed : env -> string -> int -> Cjr.typ option -> env
39 val lookupTNamed : env -> int -> string * Cjr.typ option 40 val lookupTNamed : env -> int -> string * Cjr.typ option
40 41
41 val pushERel : env -> string -> Cjr.typ -> env 42 val pushERel : env -> string -> Cjr.typ -> env
47 val lookupENamed : env -> int -> string * Cjr.typ 48 val lookupENamed : env -> int -> string * Cjr.typ
48 49
49 val pushF : env -> int -> string -> Cjr.typ -> Cjr.typ -> env 50 val pushF : env -> int -> string -> Cjr.typ -> Cjr.typ -> env
50 val lookupF : env -> int -> string * Cjr.typ * Cjr.typ 51 val lookupF : env -> int -> string * Cjr.typ * Cjr.typ
51 52
53 val pushStruct : env -> int -> (string * Cjr.typ) list -> env
54 val lookupStruct : env -> int -> (string * Cjr.typ) list
55
52 val declBinds : env -> Cjr.decl -> env 56 val declBinds : env -> Cjr.decl -> env
53 57
54 end 58 end