Mercurial > urweb
comparison src/expl_env.sig @ 624:354800878b4d
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 |