Mercurial > urweb

comparison src/flat_util.sig @ 28:104d43266b33

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Field sorting for Flat
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Jun 2008 16:22:46 -0400
parents 4ab19c19665f
children
comparison
equal deleted inserted replaced
27:145b536fc702 28:104d43266b33
26 *) 26 *)
27 27
28 signature FLAT_UTIL = sig 28 signature FLAT_UTIL = sig
29 29
30 structure Typ : sig 30 structure Typ : sig
31 val compare : Flat.typ * Flat.typ -> order
32 val sortFields : (string * Flat.typ) list -> (string * Flat.typ) list
33
31 val mapfold : (Flat.typ', 'state, 'abort) Search.mapfolder 34 val mapfold : (Flat.typ', 'state, 'abort) Search.mapfolder
32 -> (Flat.typ, 'state, 'abort) Search.mapfolder 35 -> (Flat.typ, 'state, 'abort) Search.mapfolder
33 36
34 val map : (Flat.typ' -> Flat.typ') 37 val map : (Flat.typ' -> Flat.typ')
35 -> Flat.typ -> Flat.typ 38 -> Flat.typ -> Flat.typ