Mercurial > urweb

comparison src/elab_util.sig @ 211:e86411f647c6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial type class support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:32:18 -0400
parents ab86aa858e6c
children eec65c11d3e2
comparison
equal deleted inserted replaced
210:f4033abd6ab1 211:e86411f647c6
73 -> ('context, Elab.exp, 'state, 'abort) Search.mapfolderB 73 -> ('context, Elab.exp, 'state, 'abort) Search.mapfolderB
74 val mapfold : {kind : (Elab.kind', 'state, 'abort) Search.mapfolder, 74 val mapfold : {kind : (Elab.kind', 'state, 'abort) Search.mapfolder,
75 con : (Elab.con', 'state, 'abort) Search.mapfolder, 75 con : (Elab.con', 'state, 'abort) Search.mapfolder,
76 exp : (Elab.exp', 'state, 'abort) Search.mapfolder} 76 exp : (Elab.exp', 'state, 'abort) Search.mapfolder}
77 -> (Elab.exp, 'state, 'abort) Search.mapfolder 77 -> (Elab.exp, 'state, 'abort) Search.mapfolder
78 val mapB : {kind : Elab.kind' -> Elab.kind',
79 con : 'context -> Elab.con' -> Elab.con',
80 exp : 'context -> Elab.exp' -> Elab.exp',
81 bind : 'context * binder -> 'context}
82 -> 'context -> (Elab.exp -> Elab.exp)
78 val exists : {kind : Elab.kind' -> bool, 83 val exists : {kind : Elab.kind' -> bool,
79 con : Elab.con' -> bool, 84 con : Elab.con' -> bool,
80 exp : Elab.exp' -> bool} -> Elab.exp -> bool 85 exp : Elab.exp' -> bool} -> Elab.exp -> bool
81 end 86 end
82 87