sig
  type 'a t constraint 'a = [< Unix_syscalls.Socket.Address.t ]
  val tcp : Unix_syscalls.Socket.Address.Inet.t Unix_syscalls.Socket.Type.t
  val udp : Unix_syscalls.Socket.Address.Inet.t Unix_syscalls.Socket.Type.t
  val unix : Unix_syscalls.Socket.Address.Unix.t Unix_syscalls.Socket.Type.t
  val unix_dgram :
    Unix_syscalls.Socket.Address.Unix.t Unix_syscalls.Socket.Type.t
end