Mercurial > urweb

comparison src/elab_util.sig @ 6:38bf996e1c2e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Check for leftover kind unifs
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:44:39 -0500
parents daa4f1d7a663
children dde5c52e5e5e
comparison
equal deleted inserted replaced
5:258261a53842 6:38bf996e1c2e
26 *) 26 *)
27 27
28 signature ELAB_UTIL = sig 28 signature ELAB_UTIL = sig
29 29
30 structure Kind : sig 30 structure Kind : sig
31 val mapfold : (Elab.kind', 'state, 'abort) Search.mapfold_arg 31 val mapfold : (Elab.kind', 'state, 'abort) Search.mapfolder
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
35
36 structure Con : sig
37 val mapfold : {kind : (Elab.kind', 'state, 'abort) Search.mapfolder,
38 con : (Elab.con', 'state, 'abort) Search.mapfolder}
39 -> (Elab.con, 'state, 'abort) Search.mapfolder
40 val exists : {kind : Elab.kind' -> bool,
41 con : Elab.con' -> bool} -> Elab.con -> bool
34 end 42 end
35 43
36 val declBinds : ElabEnv.env -> Elab.decl -> ElabEnv.env 44 val declBinds : ElabEnv.env -> Elab.decl -> ElabEnv.env
37 45
38 end 46 end