Hashtbl.MakeSeeded • man page