Mercurial > urweb

comparison src/elab_util.sig @ 59:abb2b32c19fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Subsignatures
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 19:10:38 -0400
parents 44b5405e74c7
children 522f4bd3955e
comparison
equal deleted inserted replaced
58:fd8a81ecd598 59:abb2b32c19fb
81 structure Sgn : sig 81 structure Sgn : sig
82 datatype binder = 82 datatype binder =
83 RelC of string * Elab.kind 83 RelC of string * Elab.kind
84 | NamedC of string * Elab.kind 84 | NamedC of string * Elab.kind
85 | Str of string * Elab.sgn 85 | Str of string * Elab.sgn
86 | Sgn of string * Elab.sgn
86 87
87 val mapfoldB : {kind : (Elab.kind', 'state, 'abort) Search.mapfolder, 88 val mapfoldB : {kind : (Elab.kind', 'state, 'abort) Search.mapfolder,
88 con : ('context, Elab.con', 'state, 'abort) Search.mapfolderB, 89 con : ('context, Elab.con', 'state, 'abort) Search.mapfolderB,
89 sgn_item : ('context, Elab.sgn_item', 'state, 'abort) Search.mapfolderB, 90 sgn_item : ('context, Elab.sgn_item', 'state, 'abort) Search.mapfolderB,
90 sgn : ('context, Elab.sgn', 'state, 'abort) Search.mapfolderB, 91 sgn : ('context, Elab.sgn', 'state, 'abort) Search.mapfolderB,