Mercurial > urweb

comparison src/core_env.sig @ 177:5d030ee143e2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Case through corify
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 Aug 2008 11:15:32 -0400
parents 25b169416ea8
children 9bbf4d383381
comparison
equal deleted inserted replaced
176:33d4a8eea484 177:5d030ee143e2
43 val lookupCNamed : env -> int -> string * Core.kind * Core.con option 43 val lookupCNamed : env -> int -> string * Core.kind * Core.con option
44 44
45 val pushDatatype : env -> string -> int -> (string * int * Core.con option) list -> env 45 val pushDatatype : env -> string -> int -> (string * int * Core.con option) list -> env
46 val lookupDatatype : env -> int -> string * (string * int * Core.con option) list 46 val lookupDatatype : env -> int -> string * (string * int * Core.con option) list
47 47
48 val lookupConstructor : env -> int -> string * Core.con option * int
49
48 val pushERel : env -> string -> Core.con -> env 50 val pushERel : env -> string -> Core.con -> env
49 val lookupERel : env -> int -> string * Core.con 51 val lookupERel : env -> int -> string * Core.con
50 52
51 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env 53 val pushENamed : env -> string -> int -> Core.con -> Core.exp option -> string -> env
52 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string 54 val lookupENamed : env -> int -> string * Core.con * Core.exp option * string