Mercurial > urweb
comparison src/core_env.sig @ 315:e21d0dddda09
Unpoly non-recursive function
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 11 Sep 2008 09:36:47 -0400 |
parents | 8a70e2919e86 |
children | bd9ee9aeca2f |
comparison
equal
deleted
inserted
replaced
314:a07f476d9b61 | 315:e21d0dddda09 |
---|---|
28 signature CORE_ENV = sig | 28 signature CORE_ENV = sig |
29 | 29 |
30 val liftConInCon : int -> Core.con -> Core.con | 30 val liftConInCon : int -> Core.con -> Core.con |
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 | |
34 val subConInExp : (int * Core.con) -> Core.exp -> Core.exp | |
35 | |
33 type env | 36 type env |
34 | 37 |
35 val empty : env | 38 val empty : env |
36 | 39 |
37 exception UnboundRel of int | 40 exception UnboundRel of int |