carta

Map.OrderedType(3o) on Linux

The text 244f5c6931ed, as Debian 13 (Trixie) shipped it.

Input signature of the functor Map.Make.

Map.OrderedType(3o) on Linux now