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>