sig
type ('a, 'listening_on) t constraint 'a = [< Import.Socket.Address.t ]
type inet = (Import.Socket.Address.Inet.t, int) Tcp.Where_to_listen.t
type unix = (Import.Socket.Address.Unix.t, string) Tcp.Where_to_listen.t
val create :
socket_type:([< Import.Socket.Address.t ] as 'a) Import.Socket.Type.t ->
address:'a ->
listening_on:('a -> 'listening_on) ->
('a, 'listening_on) Tcp.Where_to_listen.t
end