ocaml-pomap

OCaml library to maintain a list of partially ordered elements

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.