Mercurial > urweb

comparison src/core_util.sig @ 443:bd9ee9aeca2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 16:58:54 -0400
parents ab86aa858e6c
children ffa18975e661
comparison
equal deleted inserted replaced
442:9095a95a1bf9 443:bd9ee9aeca2f
105 -> 'state -> Core.exp -> 'state 105 -> 'state -> Core.exp -> 'state
106 106
107 val exists : {kind : Core.kind' -> bool, 107 val exists : {kind : Core.kind' -> bool,
108 con : Core.con' -> bool, 108 con : Core.con' -> bool,
109 exp : Core.exp' -> bool} -> Core.exp -> bool 109 exp : Core.exp' -> bool} -> Core.exp -> bool
110
111 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
112 con : Core.con' * 'state -> Core.con' * 'state,
113 exp : Core.exp' * 'state -> Core.exp' * 'state}
114 -> 'state -> Core.exp -> Core.exp * 'state
110 end 115 end
111 116
112 structure Decl : sig 117 structure Decl : sig
113 datatype binder = datatype Exp.binder 118 datatype binder = datatype Exp.binder
114 119