type direct_ipv4_input = src:Ipaddr.V4.t -> dst:Ipaddr.V4.t -> Cstruct.t -> unit Lwt.tmodule type UDPV4_DIRECT = Mirage_protocols.UDP with type ipaddr = Ipaddr.V4.t and type ipinput = direct_ipv4_inputmodule type TCPV4_DIRECT = Mirage_protocols.TCP with type ipaddr = Ipaddr.V4.t and type ipinput = direct_ipv4_inputmodule Make : functor (Time : Mirage_time.S) -> functor (Random : Mirage_random.S) -> functor (Netif : Mirage_net.S) -> functor (Ethernet : Mirage_protocols.ETHERNET) -> functor (Arpv4 : Mirage_protocols.ARP) -> functor (Ipv4 : Mirage_protocols.IP with type ipaddr = Ipaddr.V4.t) -> functor (Icmpv4 : Mirage_protocols.ICMP with type ipaddr = Ipaddr.V4.t) -> functor (Udpv4 : UDPV4_DIRECT) -> functor (Tcpv4 : TCPV4_DIRECT) -> sig ... end