c4dd701f02
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 <markus.mottl@gmail.com> WWW: http://www.ocaml.info/home/ocaml_sources.html PR: ports/102116 Submitted by: Stanislav Sedov <ssedov at mbsd.msk.ru> |
||
---|---|---|
.. | ||
distinfo | ||
Makefile | ||
pkg-descr |