Mercurial > urweb

comparison src/core_env.sig @ 443:bd9ee9aeca2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 16:58:54 -0400
parents e21d0dddda09
children 230654093b51
comparison
equal deleted inserted replaced
442:9095a95a1bf9 443:bd9ee9aeca2f
31 val subConInCon : (int * Core.con) -> Core.con -> Core.con 31 val subConInCon : (int * Core.con) -> Core.con -> Core.con
32 32
33 val liftConInExp : int -> Core.exp -> Core.exp 33 val liftConInExp : int -> Core.exp -> Core.exp
34 val subConInExp : (int * Core.con) -> Core.exp -> Core.exp 34 val subConInExp : (int * Core.con) -> Core.exp -> Core.exp
35 35
36 val liftExpInExp : int -> Core.exp -> Core.exp
37 val subExpInExp : (int * Core.exp) -> Core.exp -> Core.exp
38
36 type env 39 type env
37 40
38 val empty : env 41 val empty : env
39 42
40 exception UnboundRel of int 43 exception UnboundRel of int