Man pages matching name wml::std::case in section 3:

wml::std::case.3.en	debian 10 / wml
wml::std::case.3.en	debian 11 / wml
wml::std::case.3.en	debian 12 / wml