Mercurial > urweb

comparison src/expl_util.sig @ 64:d609820c5834

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper hiding of shadowed bindings in principal signatures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 08:54:49 -0400
parents d16ef24de78b
children 8e9f97508f0d
comparison
equal deleted inserted replaced
63:c5a503ad0d8c 64:d609820c5834
80 80
81 structure Sgn : sig 81 structure Sgn : sig
82 datatype binder = 82 datatype binder =
83 RelC of string * Expl.kind 83 RelC of string * Expl.kind
84 | NamedC of string * Expl.kind 84 | NamedC of string * Expl.kind
85 | Sgn of string * Expl.sgn
85 | Str of string * Expl.sgn 86 | Str of string * Expl.sgn
86 87
87 val mapfoldB : {kind : (Expl.kind', 'state, 'abort) Search.mapfolder, 88 val mapfoldB : {kind : (Expl.kind', 'state, 'abort) Search.mapfolder,
88 con : ('context, Expl.con', 'state, 'abort) Search.mapfolderB, 89 con : ('context, Expl.con', 'state, 'abort) Search.mapfolderB,
89 sgn_item : ('context, Expl.sgn_item', 'state, 'abort) Search.mapfolderB, 90 sgn_item : ('context, Expl.sgn_item', 'state, 'abort) Search.mapfolderB,