Tcpip_stack_direct (tcpip.Tcpip_stack

module IPV4V6
  (Ipv4 : Tcpip.Ip.S with type ipaddr = Ipaddr.V4.t)
  (Ipv6 : Tcpip.Ip.S with type ipaddr = Ipaddr.V6.t) : 
  sig ... end

module MakeV4V6
  (Time : Mirage_time.S)
  (Random : Mirage_random.S)
  (Netif : Mirage_net.S)
  (Ethernet : Ethernet.S)
  (Arpv4 : Arp.S)
  (Ip : Tcpip.Ip.S with type ipaddr = Ipaddr.t)
  (Icmpv4 : Icmpv4.S)
  (Udp : Tcpip.Udp.S with type ipaddr = Ipaddr.t)
  (Tcp : Tcpip.Tcp.S with type ipaddr = Ipaddr.t) : 
  sig ... end

module TCPV4V6 (S : Tcpip.Stack.V4V6) : sig ... end