type 'a t constraint 'a = [< Address.t ]val unix : Address.Unix.t tval inet : Address.Inet.t tval to_string : 'a t -> stringSocket.Familytype 'a t constraint 'a = [< Address.t ]val unix : Address.Unix.t tval inet : Address.Inet.t tval to_string : 'a t -> string