Module ExtHashtbl.Hashtbl.MakeSeeded

module MakeSeeded: Stdlib.Hashtbl.MakeSeeded