sig
  type 'a t
    constraint 'a =
      [< `Inet of Unix_syscalls.Inet_addr.t * int | `Unix of string ]
  val unix : Unix_syscalls.Socket.unix Unix_syscalls.Socket.Family.t
  val inet : Unix_syscalls.Socket.inet Unix_syscalls.Socket.Family.t
end