Mercurial > urweb
comparison src/elab_ops.sig @ 1714:d6c45026240d
Do a lot more type simplification for error messages
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 16 Apr 2012 09:46:42 -0400 |
parents | c7b9a33c26c8 |
children |
comparison
equal
deleted
inserted
replaced
1713:1b3f82b09bb0 | 1714:d6c45026240d |
---|---|
38 val liftConInCon : int -> Elab.con -> Elab.con | 38 val liftConInCon : int -> Elab.con -> Elab.con |
39 val subConInCon : int * Elab.con -> Elab.con -> Elab.con | 39 val subConInCon : int * Elab.con -> Elab.con -> Elab.con |
40 val subStrInSgn : int * int -> Elab.sgn -> Elab.sgn | 40 val subStrInSgn : int * int -> Elab.sgn -> Elab.sgn |
41 | 41 |
42 val hnormCon : ElabEnv.env -> Elab.con -> Elab.con | 42 val hnormCon : ElabEnv.env -> Elab.con -> Elab.con |
43 val reduceCon : ElabEnv.env -> Elab.con -> Elab.con | |
43 | 44 |
44 val identity : int ref | 45 val identity : int ref |
45 val distribute : int ref | 46 val distribute : int ref |
46 val fuse : int ref | 47 val fuse : int ref |
47 val reset : unit -> unit | 48 val reset : unit -> unit |