Mercurial > urweb

comparison src/elab_ops.sig @ 1714:d6c45026240d

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