Mercurial > urweb

comparison src/mono_util.sig @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents 82aaa1c406d3
children 25b169416ea8
comparison
equal deleted inserted replaced
108:f59553dc1b6a 109:813e5a52063d
26 *) 26 *)
27 27
28 signature MONO_UTIL = sig 28 signature MONO_UTIL = sig
29 29
30 structure Typ : sig 30 structure Typ : sig
31 val compare : Mono.typ * Mono.typ -> order
32 val sortFields : (string * Mono.typ) list -> (string * Mono.typ) list
33
31 val mapfold : (Mono.typ', 'state, 'abort) Search.mapfolder 34 val mapfold : (Mono.typ', 'state, 'abort) Search.mapfolder
32 -> (Mono.typ, 'state, 'abort) Search.mapfolder 35 -> (Mono.typ, 'state, 'abort) Search.mapfolder
33 36
34 val map : (Mono.typ' -> Mono.typ') 37 val map : (Mono.typ' -> Mono.typ')
35 -> Mono.typ -> Mono.typ 38 -> Mono.typ -> Mono.typ
42 45
43 structure Exp : sig 46 structure Exp : sig
44 datatype binder = 47 datatype binder =
45 NamedT of string * int * Mono.typ option 48 NamedT of string * int * Mono.typ option
46 | RelE of string * Mono.typ 49 | RelE of string * Mono.typ
47 | NamedE of string * int * Mono.typ * Mono.exp option 50 | NamedE of string * int * Mono.typ * Mono.exp option * string
48 51
49 val mapfoldB : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder, 52 val mapfoldB : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder,
50 exp : ('typtext, Mono.exp', 'state, 'abort) Search.mapfolderB, 53 exp : ('typtext, Mono.exp', 'state, 'abort) Search.mapfolderB,
51 bind : 'typtext * binder -> 'typtext} 54 bind : 'typtext * binder -> 'typtext}
52 -> ('typtext, Mono.exp, 'state, 'abort) Search.mapfolderB 55 -> ('typtext, Mono.exp, 'state, 'abort) Search.mapfolderB