module type S = sig val addr_number : int val total : float ref val gethostbyname : string -> Unix.host_entry val check : unit -> unit val reset : unit -> unit end module Make(P: sig val addr_number : int val not_found : int end) : S