Module Socket.Type

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.t
val tcp : Address.Inet.t t
val udp : Address.Inet.t t
val unix : Address.Unix.t t
val unix_dgram : Address.Unix.t t