The text d335939ec6a1, as Debian 12 (Bookworm) shipped it.
Input signature of the functor Map.Make.
Map.OrderedType(3o) on Linux now
