Mercurial > urweb

comparison src/elab_util.sig @ 839:b2413e4dd109

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
List library additions; fix another substructure unification bug
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Jun 2009 14:09:30 -0400
parents d20d6afc1206
children c7b9a33c26c8
comparison
equal deleted inserted replaced
838:5154a047c6bc 839:b2413e4dd109
71 71
72 val foldB : {kind : 'context * Elab.kind' * 'state -> 'state, 72 val foldB : {kind : 'context * Elab.kind' * 'state -> 'state,
73 con : 'context * Elab.con' * 'state -> 'state, 73 con : 'context * Elab.con' * 'state -> 'state,
74 bind : 'context * binder -> 'context} 74 bind : 'context * binder -> 'context}
75 -> 'context -> 'state -> Elab.con -> 'state 75 -> 'context -> 'state -> Elab.con -> 'state
76 val fold : {kind : Elab.kind' * 'state -> 'state,
77 con : Elab.con' * 'state -> 'state}
78 -> 'state -> Elab.con -> 'state
76 end 79 end
77 80
78 structure Exp : sig 81 structure Exp : sig
79 datatype binder = 82 datatype binder =
80 RelK of string 83 RelK of string