Mercurial > urweb

comparison src/core_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 bfa2e9ae4df8
children 3739af9e727a
comparison
equal deleted inserted replaced
108:f59553dc1b6a 109:813e5a52063d
67 structure Exp : sig 67 structure Exp : sig
68 datatype binder = 68 datatype binder =
69 RelC of string * Core.kind 69 RelC of string * Core.kind
70 | NamedC of string * int * Core.kind * Core.con option 70 | NamedC of string * int * Core.kind * Core.con option
71 | RelE of string * Core.con 71 | RelE of string * Core.con
72 | NamedE of string * int * Core.con * Core.exp option 72 | NamedE of string * int * Core.con * Core.exp option * string
73 73
74 val mapfoldB : {kind : (Core.kind', 'state, 'abort) Search.mapfolder, 74 val mapfoldB : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,
75 con : ('context, Core.con', 'state, 'abort) Search.mapfolderB, 75 con : ('context, Core.con', 'state, 'abort) Search.mapfolderB,
76 exp : ('context, Core.exp', 'state, 'abort) Search.mapfolderB, 76 exp : ('context, Core.exp', 'state, 'abort) Search.mapfolderB,
77 bind : 'context * binder -> 'context} 77 bind : 'context * binder -> 'context}