type 'a t constraint 'a = [< Address.t ]val sexp_of_t : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a t -> Ppx_sexp_conv_lib.Sexp.tval tcp : Address.Inet.t tval udp : Address.Inet.t tval unix : Address.Unix.t tval unix_dgram : Address.Unix.t tSocket.Typetype 'a t constraint 'a = [< Address.t ]val sexp_of_t : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a t -> Ppx_sexp_conv_lib.Sexp.tval tcp : Address.Inet.t tval udp : Address.Inet.t tval unix : Address.Unix.t tval unix_dgram : Address.Unix.t t