Mercurial > urweb

comparison src/expl_env.sig @ 624:354800878b4d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Kind polymorphism through Explify
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Feb 2009 16:32:56 -0500
parents d3cc191cb25f
children cd8d2c73ccf4
comparison
equal deleted inserted replaced
623:588b9d16b00a 624:354800878b4d
40 datatype 'a var = 40 datatype 'a var =
41 NotBound 41 NotBound
42 | Rel of int * 'a 42 | Rel of int * 'a
43 | Named of int * 'a 43 | Named of int * 'a
44 44
45 val pushKRel : env -> string -> env
46 val lookupKRel : env -> int -> string
47
45 val pushCRel : env -> string -> Expl.kind -> env 48 val pushCRel : env -> string -> Expl.kind -> env
46 val lookupCRel : env -> int -> string * Expl.kind 49 val lookupCRel : env -> int -> string * Expl.kind
47 50
48 val pushCNamed : env -> string -> int -> Expl.kind -> Expl.con option -> env 51 val pushCNamed : env -> string -> int -> Expl.kind -> Expl.con option -> env
49 val lookupCNamed : env -> int -> string * Expl.kind * Expl.con option 52 val lookupCNamed : env -> int -> string * Expl.kind * Expl.con option