fin-part-ord (cargo): Datatype for finite partial orders
Keywords: ordering|finite|datatype|partial-order|finite-partial-orders|partial-orders|rust