Mercurial > urweb

comparison src/mono_util.sig @ 1800:38297294cf98

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New NameJs phase, still needing some debugging
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Aug 2012 18:12:37 -0400
parents 7bb8c560f23d
children 8958b580d026
comparison
equal deleted inserted replaced
1799:3d922a28370b 1800:38297294cf98
105 val map : {typ : Mono.typ' -> Mono.typ', 105 val map : {typ : Mono.typ' -> Mono.typ',
106 exp : Mono.exp' -> Mono.exp', 106 exp : Mono.exp' -> Mono.exp',
107 decl : Mono.decl' -> Mono.decl'} 107 decl : Mono.decl' -> Mono.decl'}
108 -> Mono.decl -> Mono.decl 108 -> Mono.decl -> Mono.decl
109 109
110 val foldMap : {typ : Mono.typ' * 'state -> Mono.typ' * 'state,
111 exp : Mono.exp' * 'state -> Mono.exp' * 'state,
112 decl : Mono.decl' * 'state -> Mono.decl' * 'state}
113 -> 'state -> Mono.decl -> Mono.decl * 'state
114
110 val foldMapB : {typ : Mono.typ' * 'state -> Mono.typ' * 'state, 115 val foldMapB : {typ : Mono.typ' * 'state -> Mono.typ' * 'state,
111 exp : 'context * Mono.exp' * 'state -> Mono.exp' * 'state, 116 exp : 'context * Mono.exp' * 'state -> Mono.exp' * 'state,
112 decl : 'context * Mono.decl' * 'state -> Mono.decl' * 'state, 117 decl : 'context * Mono.decl' * 'state -> Mono.decl' * 'state,
113 bind : 'context * binder -> 'context} 118 bind : 'context * binder -> 'context}
114 -> 'context -> 'state -> Mono.decl -> Mono.decl * 'state 119 -> 'context -> 'state -> Mono.decl -> Mono.decl * 'state