Mercurial > urweb
comparison src/elab_ops.sig @ 1303:c7b9a33c26c8
Hopeful fix for the Great Unification Bug
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 10 Oct 2010 14:41:03 -0400 |
parents | a779402841f6 |
children | d6c45026240d |
comparison
equal
deleted
inserted
replaced
1302:d008c4c43a0a | 1303:c7b9a33c26c8 |
---|---|
25 * POSSIBILITY OF SUCH DAMAGE. | 25 * POSSIBILITY OF SUCH DAMAGE. |
26 *) | 26 *) |
27 | 27 |
28 signature ELAB_OPS = sig | 28 signature ELAB_OPS = sig |
29 | 29 |
30 exception SubUnif | |
31 | |
30 val liftKindInKind : int -> Elab.kind -> Elab.kind | 32 val liftKindInKind : int -> Elab.kind -> Elab.kind |
31 val subKindInKind : int * Elab.kind -> Elab.kind -> Elab.kind | 33 val subKindInKind : int * Elab.kind -> Elab.kind -> Elab.kind |
32 | 34 |
33 val liftKindInCon : int -> Elab.con -> Elab.con | 35 val liftKindInCon : int -> Elab.con -> Elab.con |
34 val subKindInCon : int * Elab.kind -> Elab.con -> Elab.con | 36 val subKindInCon : int * Elab.kind -> Elab.con -> Elab.con |