Mercurial > urweb
comparison src/core_env.sig @ 443:bd9ee9aeca2f
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 |