The text b734266e13a6, as Debian 11 (Bullseye) shipped it.
Input signature of the functor Map.Make.
Map.OrderedType(3o) on Linux now
