Mercurial > urweb

comparison src/elab_util.sig @ 3:daa4f1d7a663

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating cons and decls
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 15:26:12 -0500
parents 64f09f7822c3
children 38bf996e1c2e
comparison
equal deleted inserted replaced
2:64f09f7822c3 3:daa4f1d7a663
31 val mapfold : (Elab.kind', 'state, 'abort) Search.mapfold_arg 31 val mapfold : (Elab.kind', 'state, 'abort) Search.mapfold_arg
32 -> (Elab.kind, 'state, 'abort) Search.mapfolder 32 -> (Elab.kind, 'state, 'abort) Search.mapfolder
33 val exists : (Elab.kind' -> bool) -> Elab.kind -> bool 33 val exists : (Elab.kind' -> bool) -> Elab.kind -> bool
34 end 34 end
35 35
36 val declBinds : ElabEnv.env -> Elab.decl -> ElabEnv.env
37
36 end 38 end