Mercurial > urweb

comparison src/mono_util.sig @ 919:cc956020801b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'more' demos working after optimizer fix
author Adam Chlipala <adamc@hcoop.net>
date Tue, 08 Sep 2009 19:42:12 -0400
parents 1901db85acb4
children 7bb8c560f23d
comparison
equal deleted inserted replaced
918:6a77c3e33908 919:cc956020801b
70 -> 'state -> Mono.exp -> 'state 70 -> 'state -> Mono.exp -> 'state
71 71
72 val exists : {typ : Mono.typ' -> bool, 72 val exists : {typ : Mono.typ' -> bool,
73 exp : Mono.exp' -> bool} -> Mono.exp -> bool 73 exp : Mono.exp' -> bool} -> Mono.exp -> bool
74 74
75 val existsB : {typ : Mono.typ' -> bool,
76 exp : 'context * Mono.exp' -> bool,
77 bind : 'context * binder -> 'context} -> 'context -> Mono.exp -> bool
78
75 val foldB : {typ : Mono.typ' * 'state -> 'state, 79 val foldB : {typ : Mono.typ' * 'state -> 'state,
76 exp : 'context * Mono.exp' * 'state -> 'state, 80 exp : 'context * Mono.exp' * 'state -> 'state,
77 bind : 'context * binder -> 'context} 81 bind : 'context * binder -> 'context}
78 -> 'context -> 'state -> Mono.exp -> 'state 82 -> 'context -> 'state -> Mono.exp -> 'state
79 end 83 end