K 10 svn:author V 6 itetcu K 8 svn:date V 27 2006-08-20T06:47:52.000000Z K 7 svn:log V 415 The Pomap-library implements an ADT that maintains maps of partially ordered elements. Whereas a total order allows you to say whether some element is lower, equal or greater than another one, partial orders also allow for a "don-t know" case. Author: Markus Mottl WWW: http://www.ocaml.info/home/ocaml_sources.html PR: ports/102116 Submitted by: Stanislav Sedov END