Mercurial > urweb

comparison src/core_env.sig @ 626:230654093b51

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
demo/hello compiles with kind polymorphism
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Feb 2009 17:17:01 -0500
parents bd9ee9aeca2f
children 4a125bbc602d
comparison
equal deleted inserted replaced
625:47947d6e9750 626:230654093b51
41 val empty : env 41 val empty : env
42 42
43 exception UnboundRel of int 43 exception UnboundRel of int
44 exception UnboundNamed of int 44 exception UnboundNamed of int
45 45
46 val pushKRel : env -> string -> env
47 val lookupKRel : env -> int -> string
48
46 val pushCRel : env -> string -> Core.kind -> env 49 val pushCRel : env -> string -> Core.kind -> env
47 val lookupCRel : env -> int -> string * Core.kind 50 val lookupCRel : env -> int -> string * Core.kind
48 51
49 val pushCNamed : env -> string -> int -> Core.kind -> Core.con option -> env 52 val pushCNamed : env -> string -> int -> Core.kind -> Core.con option -> env
50 val lookupCNamed : env -> int -> string * Core.kind * Core.con option 53 val lookupCNamed : env -> int -> string * Core.kind * Core.con option