Tcpip_stack_direct (tcpip.Tcpip_stack

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

module MakeV4V6
  (Time : Mirage_time.S)
  (Random : Mirage_crypto_rng_mirage.S)
  (Netif : Mirage_net.S)
  (Ethernet : Ethernet.S)
  (Arpv4 : Arp.S)
  (Ip : 
    Tcpip.Ip.S with type ipaddr = Ipaddr.t and type prefix = Ipaddr.Prefix.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