Mercurial > urweb

comparison src/core_env.sig @ 315:e21d0dddda09

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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