Mercurial > urweb

comparison src/mono_util.sig @ 2218:f7113855f3b7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More invalidation progress.
author Ziv Scully <ziv@mit.edu>
date Tue, 11 Nov 2014 04:25:20 -0500
parents 8958b580d026
children
comparison
equal deleted inserted replaced
2217:98b87d905601 2218:f7113855f3b7
14 * 14 *
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 16 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 19 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 20 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 21 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 22 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 23 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
66 -> 'typtext -> (Mono.exp -> Mono.exp) 66 -> 'typtext -> (Mono.exp -> Mono.exp)
67 67
68 val fold : {typ : Mono.typ' * 'state -> 'state, 68 val fold : {typ : Mono.typ' * 'state -> 'state,
69 exp : Mono.exp' * 'state -> 'state} 69 exp : Mono.exp' * 'state -> 'state}
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, 75 val existsB : {typ : Mono.typ' -> bool,
76 exp : 'context * Mono.exp' -> bool, 76 exp : 'context * Mono.exp' -> bool,